Uses of Class
SableJBDD.bdd.JBddManager

Packages that use JBddManager
SableJBDD.fdd   
 

Uses of JBddManager in SableJBDD.fdd
 

Constructors in SableJBDD.fdd with parameters of type JBddManager
FiniteDomain(JBddManager manager, java.lang.String name, int size)
          Defines a finite domain with a BDD manager, a domain name, and the domain capacity.
FiniteDomain(JBddManager manager, java.lang.String name, int size, boolean expandible)
          Defines a finite domain with a BDD manager, a domain name, domain capacity, and a flag indicating whether the domain can be expanded automatically.
FiniteDomain(JBddManager manager, java.lang.String name, int[] varidxes)
          Defines a finite domain with a bdd manager and variables at specific levels.
FiniteDomain(JBddManager manager, java.lang.String name, int[] varidxes, boolean expandible)
          Defines a finite domain with a bdd manager, name, variables at specific levels, and a expandible flag.