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