don't add here; maintain set of covered nodes, panic if not covered
Closed this issue · 1 comments
github-actions commented
end
function compile(c::BDDCompiler, roots::Vector{<:AnyBool})::Vector{CuddNode}
# TODO: don't add here; maintain set of covered nodes, panic if not covered
add_roots!(c, roots)
[compile_existing(c, root) for root in roots]
end
github-actions commented
Closed in d95c299