Module _impl_bdd_variable
biodivine_lib_bdd
(internal) Implementation of the BddVariable.
BddVariable