Package SableJBDD.fdd

Class Summary
FiniteDomain A finite domain provides constructions and operations of BDD functions on a finite set of variables.