Uses of Interface
org.jacop.satwrapper.WrapperComponent
-
Packages that use WrapperComponent Package Description org.jacop.satwrapper org.jacop.satwrapper.translation -
-
Uses of WrapperComponent in org.jacop.satwrapper
Classes in org.jacop.satwrapper that implement WrapperComponent Modifier and Type Class Description class
WrapperDebugModule
a class used to debug, but with additional dataMethods in org.jacop.satwrapper with parameters of type WrapperComponent Modifier and Type Method Description void
SatWrapper. addWrapperComponent(WrapperComponent module)
add a component -
Uses of WrapperComponent in org.jacop.satwrapper.translation
Classes in org.jacop.satwrapper.translation that implement WrapperComponent Modifier and Type Class Description class
DomainClausesDatabase
clause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.class
DomainTranslator
A component that translates CP variables ranges to boolean clauses to be added to the SAT solverclass
LazyCpVarDomain<E extends IntVar>
Deprecated.class
SatCPBridge
interface representing the domain of a CP variable as a range.class
SimpleCpVarDomain
A simple representation for small domains, not lazy.
-