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