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 data

Methods 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 solver
class	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.