Constant boolean_expression::BDD_ZERO [] [src]

pub const BDD_ZERO: BDDFunc = usize::MAX

A special terminal BDDFunc which is constant false (zero).