Uses of Class
org.jacop.satwrapper.translation.DomainClausesDatabase

Packages that use DomainClausesDatabase

Package	Description
org.jacop.satwrapper
org.jacop.satwrapper.translation

Uses of DomainClausesDatabase in org.jacop.satwrapper

Fields in org.jacop.satwrapper declared as DomainClausesDatabase

Modifier and Type	Field	Description
DomainClausesDatabase	SatWrapper.domainDatabase

Uses of DomainClausesDatabase in org.jacop.satwrapper.translation

Fields in org.jacop.satwrapper.translation declared as DomainClausesDatabase

Modifier and Type	Field	Description
private DomainClausesDatabase	SimpleCpVarDomain.clauseDatabase
private DomainClausesDatabase	LazyCpVarDomain.database	Deprecated.