Tractables/Dice.jl

don't add here; maintain set of covered nodes, panic if not covered

Closed this issue · 1 comments

github-actions commented

https://github.com/Juice-jl/Dice.jl/blob/d80e01a7dd7019eb8daa543199b6276e7682dbc8/src/inference/cudd/compile.jl#L69

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