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 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 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 solverSatCPBridge interface representing the domain of a CP variable as a range. -
Classes in org.jacop.satwrapper.translation used by org.jacop.satwrapper.translation Class Description DomainClausesDatabase clause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.LazyCpVarDomain.ListNode Deprecated.a node of the double linked listSatCPBridge interface representing the domain of a CP variable as a range.