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