Uses of Interface
org.sat4j.csp.Domain

Packages that use Domain
org.sat4j.csp Classes needed for CSP to SAT translation. 
 

Uses of Domain in org.sat4j.csp
 

Classes in org.sat4j.csp that implement Domain
 class EnumeratedDomain
           
 class RangeDomain
           
 class SingletonDomain
          Represents a domain with a single value.
 

Methods in org.sat4j.csp that return Domain
 Domain Var.domain()
           
 Domain Constant.domain()
           
 Domain Evaluable.domain()
          Return the domain of the evaluable.
 

Constructors in org.sat4j.csp with parameters of type Domain
Var(String idvar, Domain domain, int lastvarnumber)
           
 



Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.