Uses of Class
org.jacop.jasat.core.Core
Packages that use Core
Package
Description
-
Uses of Core in org.jacop.jasat.core
Fields in org.jacop.jasat.core declared as CoreMethods in org.jacop.jasat.core with parameters of type CoreModifier and TypeMethodDescriptionvoid
ConflictLearning.initialize
(Core core) void
Core.initialize
(Core core) void
SolverComponent.initialize
(Core core) initializes the component with the given solver.void
Trail.initialize
(Core core) to be called before any use of the trailprivate static void
RunSolver.protectOnTermination
(Core core) on forced exit, print solution -
Uses of Core in org.jacop.jasat.core.clauses
Fields in org.jacop.jasat.core.clauses declared as CoreMethods in org.jacop.jasat.core.clauses with parameters of type CoreModifier and TypeMethodDescriptionfinal void
AbstractClausesDatabase.initialize
(Core core) void
DatabasesStore.initialize
(Core core) -
Uses of Core in org.jacop.jasat.modules
Fields in org.jacop.jasat.modules declared as CoreModifier and TypeFieldDescriptionActivityModule.core
private Core
DebugModule.core
private Core
HeuristicAssertionModule.core
private Core
HeuristicForgetModule.core
SearchModule.core
private Core
StatModule.core
Methods in org.jacop.jasat.modules with parameters of type CoreModifier and TypeMethodDescriptionvoid
ActivityModule.initialize
(Core core) void
DebugModule.initialize
(Core core) void
HeuristicAssertionModule.initialize
(Core core) void
HeuristicForgetModule.initialize
(Core core) void
HeuristicRestartModule.initialize
(Core core) void
SearchModule.initialize
(Core core) void
StatModule.initialize
(Core core) -
Uses of Core in org.jacop.jasat.utils
Fields in org.jacop.jasat.utils declared as CoreMethods in org.jacop.jasat.utils with parameters of type CoreConstructors in org.jacop.jasat.utils with parameters of type Core -
Uses of Core in org.jacop.satwrapper
Fields in org.jacop.satwrapper declared as CoreModifier and TypeFieldDescriptionprivate Core
SatChangesListener.core
SatWrapper.core
private Core
WrapperDebugModule.core
Methods in org.jacop.satwrapper with parameters of type CoreModifier and TypeMethodDescriptionvoid
SatChangesListener.initialize
(Core core) void
SatWrapper.initialize
(Core core) void
WrapperDebugModule.initialize
(Core core)