Type Definition boolean_expression::BDDFunc [−][src]
type BDDFunc = usize;
A BDDFunc
is a function index within a particular BDD
. It must only
be used with the BDD
instance which produced it.
type BDDFunc = usize;
A BDDFunc
is a function index within a particular BDD
. It must only
be used with the BDD
instance which produced it.