Function biodivine_lib_bdd::_impl_bdd_path_iterator::make_clause

source · [−]
fn make_clause(bdd: &Bdd, path: &[BddPointer]) -> BddPartialValuation
Expand description

(internal) Convert a path in a Bdd saved as a stack into a clause.

The path must end with a pointer to the one-terminal node.