Uses of Class
org.jacop.satwrapper.SatWrapper

Packages that use SatWrapper

Package	Description
org.jacop.satwrapper
org.jacop.satwrapper.translation

Uses of SatWrapper in org.jacop.satwrapper

Methods in org.jacop.satwrapper with parameters of type SatWrapper

Modifier and Type	Method and Description
void	SatChangesListener.initialize(SatWrapper wrapper)
void	WrapperComponent.initialize(SatWrapper wrapper) connect the component to the wrapper
void	WrapperDebugModule.initialize(SatWrapper wrapper)

Uses of SatWrapper in org.jacop.satwrapper.translation

Fields in org.jacop.satwrapper.translation declared as SatWrapper

Modifier and Type	Field and Description
protected SatWrapper	SatCPBridge.wrapper

Methods in org.jacop.satwrapper.translation with parameters of type SatWrapper

Modifier and Type	Method and Description
void	DomainClausesDatabase.initialize(SatWrapper wrapper)
void	DomainTranslator.initialize(SatWrapper wrapper)
void	LazyCpVarDomain.initialize(SatWrapper wrapper) Deprecated.
abstract void	SatCPBridge.initialize(SatWrapper wrapper)
void	SimpleCpVarDomain.initialize(SatWrapper wrapper)

Constructors in org.jacop.satwrapper.translation with parameters of type SatWrapper

Constructor and Description
SimpleCpVarDomain(SatWrapper wrapper, IntVar variable)
SimpleCpVarDomain(SatWrapper wrapper, IntVar variable, boolean translate)