Uses of Class
org.jacop.satwrapper.translation.DomainClausesDatabase
Packages that use DomainClausesDatabase
-
Uses of DomainClausesDatabase in org.jacop.satwrapper
Fields in org.jacop.satwrapper declared as DomainClausesDatabase -
Uses of DomainClausesDatabase in org.jacop.satwrapper.translation
Fields in org.jacop.satwrapper.translation declared as DomainClausesDatabaseModifier and TypeFieldDescriptionprivate DomainClausesDatabase
SimpleCpVarDomain.clauseDatabase
private DomainClausesDatabase
LazyCpVarDomain.database
Deprecated.