Uses of Class
SableJBDD.fdd.FiniteDomain

Packages that use FiniteDomain
SableJBDD.fdd   
 

Uses of FiniteDomain in SableJBDD.fdd
 

Methods in SableJBDD.fdd with parameters of type FiniteDomain
 JBDD FiniteDomain.replace(JBDD x, FiniteDomain other)
          Replaces domain variables in a BDD by variables in another domain.