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

Packages that use DomainTranslator

Package	Description
org.jacop.satwrapper

Uses of DomainTranslator in org.jacop.satwrapper

Fields in org.jacop.satwrapper declared as DomainTranslator

Modifier and Type	Field and Description
DomainTranslator	SatWrapper.domainTranslator