Module biodivine_lib_bdd::_impl_bdd_path_iterator

source · [−]
Expand description

(internal) Implementation of the BddPathIterator.

Functions

continue_path

(internal) Given a prefix of a path in a BDD, continue the prefix, always choosing the low link unless it leads to a false leaf.

make_clause

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