Constant boolean_expression::BDD_ZERO [−][src]
pub const BDD_ZERO: BDDFunc=
usize::MAX
A special terminal BDDFunc
which is constant false
(zero).
pub const BDD_ZERO: BDDFunc=
usize::MAX
A special terminal BDDFunc
which is constant false
(zero).