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

Packages that use DomainClausesDatabase

Package	Description
org.jacop.satwrapper

Uses of DomainClausesDatabase in org.jacop.satwrapper

Fields in org.jacop.satwrapper declared as DomainClausesDatabase

Modifier and Type	Field and Description
DomainClausesDatabase	SatWrapper.domainDatabase