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