Uses of Interface
org.sat4j.reader.csp.Domain

Packages that use Domain

org.sat4j.reader.csp

Classes needed for CSP to SAT translation.

Uses of Domain in org.sat4j.reader.csp

Classes in org.sat4j.reader.csp that implement Domain

class	EnumeratedDomain
class	RangeDomain
class	SingletonDomain

Methods in org.sat4j.reader.csp that return Domain

Domain	Constant.domain()
Domain	Evaluable.domain() Return the domain of the evaluable.
Domain	Var.domain()

Constructors in org.sat4j.reader.csp with parameters of type Domain

Var(java.lang.String idvar, Domain domain, int lastvarnumber)