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