Uses of Interface
org.sat4j.csp.Domain

Packages that use Domain

Package	Description
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

Modifier and Type	Class and Description
class	EnumeratedDomain
class	RangeDomain
class	SingletonDomain Represents a domain with a single value.

Methods in org.sat4j.csp that return Domain

Modifier and Type	Method and Description
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

Constructor and Description
Var(String idvar, Domain domain, int lastvarnumber)