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)