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.
-