Function biodivine_lib_bdd::_impl_bdd_path_iterator::continue_path

fn continue_path(bdd: &Bdd, path: &mut Vec<BddPointer>)

(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.

The input path must be non-empty.