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 trail
private 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
final 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

Modifier	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)