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

Methods in org.jacop.jasat.core with parameters of type Core

Modifier and Type	Method and 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

Uses of Core in org.jacop.jasat.core.clauses

Fields in org.jacop.jasat.core.clauses declared as Core

Modifier and Type	Field and Description
Core	AbstractClausesDatabase.core
Core	DatabasesStore.core

Methods in org.jacop.jasat.core.clauses with parameters of type Core

Modifier and Type	Method and 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 and Description
Core	ActivityModule.core
Core	SearchModule.core

Methods in org.jacop.jasat.modules with parameters of type Core

Modifier and Type	Method and 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

Methods in org.jacop.jasat.utils with parameters of type Core

Modifier and Type	Method and Description
void	MemoryPool.initialize(Core core)

Constructors in org.jacop.jasat.utils with parameters of type Core

Constructor and Description
BasicPreprocessor(Core core)

Uses of Core in org.jacop.satwrapper

Fields in org.jacop.satwrapper declared as Core

Modifier and Type	Field and Description
Core	SatWrapper.core

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

Modifier and Type	Method and Description
void	SatChangesListener.initialize(Core core)
void	SatWrapper.initialize(Core core)
void	WrapperDebugModule.initialize(Core core)