Module _impl_bdd_variable_set
biodivine_lib_bdd
(internal) Implementation of the BddVariableSet.
BddVariableSet