BDDFunc

boolean_expression

Type Alias BDDFunc 

Source 
pub type BDDFunc = usize;
Expand description

A BDDFunc is a function index within a particular BDD. It must only be used with the BDD instance which produced it.