Constant boolean_expression::BDD_ONE[−][src]

pub const BDD_ONE: BDDFunc = usize::MAX - 1; // 0_xff_fff_ffeusize

A special terminal BDDFunc which is constant true (one).