Constant boolean_expression::BDD_ONE [−][src]
pub const BDD_ONE: BDDFunc=
usize::MAX - 1
A special terminal BDDFunc
which is constant true
(one).
pub const BDD_ONE: BDDFunc=
usize::MAX - 1
A special terminal BDDFunc
which is constant true
(one).