Constant boolean_expression::BDD_ONE
[−]
[src]
pub const BDD_ONE: BDDFunc=usize::MAX - 1
A special terminal BDDFunc which is constant true (one).