Uses of Class
org.jacop.satwrapper.SatWrapper
Packages that use SatWrapper
-
Uses of SatWrapper in org.jacop.satwrapper
Fields in org.jacop.satwrapper declared as SatWrapperModifier and TypeFieldDescription(package private) SatWrapper
SatTranslation.clauses
private SatWrapper
SatChangesListener.wrapper
private SatWrapper
WrapperDebugModule.wrapper
Methods in org.jacop.satwrapper with parameters of type SatWrapperModifier and TypeMethodDescriptionvoid
SatChangesListener.initialize
(SatWrapper wrapper) void
WrapperComponent.initialize
(SatWrapper wrapper) connect the component to the wrappervoid
WrapperDebugModule.initialize
(SatWrapper wrapper) -
Uses of SatWrapper in org.jacop.satwrapper.translation
Fields in org.jacop.satwrapper.translation declared as SatWrapperModifier and TypeFieldDescriptionprivate SatWrapper
DomainClausesDatabase.wrapper
private SatWrapper
DomainTranslator.wrapper
protected SatWrapper
SatCPBridge.wrapper
Methods in org.jacop.satwrapper.translation with parameters of type SatWrapperModifier and TypeMethodDescriptionvoid
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 SatWrapperModifierConstructorDescriptionSimpleCpVarDomain
(SatWrapper wrapper, IntVar variable) SimpleCpVarDomain
(SatWrapper wrapper, IntVar variable, boolean translate)