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	Evaluable.domain() Return the domain of the evaluable.
Domain	Constant.domain()

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

Var(String idvar, Domain domain, int lastvarnumber)