Uses of Package
org.jacop.satwrapper.translation

Packages that use org.jacop.satwrapper.translation

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

Classes in org.jacop.satwrapper.translation used by org.jacop.core

Class and Description
SatCPBridge interface representing the domain of a CP variable as a range.

Classes in org.jacop.satwrapper.translation used by org.jacop.satwrapper

Class and Description
DomainClausesDatabase clause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.
DomainTranslator A component that translates CP variables ranges to boolean clauses to be added to the SAT solver
SatCPBridge interface representing the domain of a CP variable as a range.

Classes in org.jacop.satwrapper.translation used by org.jacop.satwrapper.translation

Class and Description
SatCPBridge interface representing the domain of a CP variable as a range.