Uses of Class
org.jacop.jasat.core.Core
-
Packages that use Core Package Description org.jacop.jasat.core org.jacop.jasat.core.clauses org.jacop.jasat.modules org.jacop.jasat.utils org.jacop.satwrapper -
-
Uses of Core in org.jacop.jasat.core
Fields in org.jacop.jasat.core declared as Core Modifier and Type Field Description private Core
ConflictLearning. core
Methods in org.jacop.jasat.core with parameters of type Core Modifier and Type Method Description void
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 Core Modifier and Type Field Description Core
AbstractClausesDatabase. core
Core
DatabasesStore. core
Methods in org.jacop.jasat.core.clauses with parameters of type Core Modifier and Type Method Description 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 Core Modifier and Type Field Description Core
ActivityModule. core
private Core
DebugModule. core
private Core
HeuristicAssertionModule. core
private Core
HeuristicForgetModule. core
Core
SearchModule. core
private Core
StatModule. core
Methods in org.jacop.jasat.modules with parameters of type Core Modifier and Type Method Description void
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 Core Modifier and Type Field Description private Core
BasicPreprocessor. core
Methods in org.jacop.jasat.utils with parameters of type Core Modifier and Type Method Description void
MemoryPool. initialize(Core core)
Constructors in org.jacop.jasat.utils with parameters of type Core Constructor Description BasicPreprocessor(Core core)
-
Uses of Core in org.jacop.satwrapper
Fields in org.jacop.satwrapper declared as Core Modifier and Type Field Description private Core
SatChangesListener. core
Core
SatWrapper. core
private Core
WrapperDebugModule. core
Methods in org.jacop.satwrapper with parameters of type Core Modifier and Type Method Description void
SatChangesListener. initialize(Core core)
void
SatWrapper. initialize(Core core)
void
WrapperDebugModule. initialize(Core core)
-