Package org.jacop.satwrapper.translation
-
Class Summary 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 solverLazyCpVarDomain<E extends IntVar> Deprecated. LazyCpVarDomain.ListNode a node of the double linked listSatCPBridge interface representing the domain of a CP variable as a range.SimpleCpVarDomain A simple representation for small domains, not lazy.