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).