Uses of Package
org.jacop.satwrapper.translation
Packages that use org.jacop.satwrapper.translation
-
Classes in org.jacop.satwrapper.translation used by org.jacop.core
-
Classes in org.jacop.satwrapper.translation used by org.jacop.satwrapperClassDescriptionclause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.A component that translates CP variables ranges to boolean clauses to be added to the SAT solverinterface representing the domain of a CP variable as a range.
-
Classes in org.jacop.satwrapper.translation used by org.jacop.satwrapper.translationClassDescriptionclause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.Deprecated.a node of the double linked listinterface representing the domain of a CP variable as a range.