Package org.jacop.jasat.core
Interface SolverComponent
-
- All Known Subinterfaces:
AssertionListener
,BackjumpListener
,ClauseListener
,ConflictListener
,ExplanationListener
,ForgetListener
,PropagateListener
,SolutionListener
,StartStopListener
- All Known Implementing Classes:
AbstractClausesDatabase
,ActivityModule
,BinaryClausesDatabase
,ConflictLearning
,Core
,DatabasesStore
,DebugModule
,DefaultClausesDatabase
,DomainClausesDatabase
,HeuristicAssertionModule
,HeuristicForgetModule
,HeuristicRestartModule
,LongClausesDatabase
,MemoryPool
,SatChangesListener
,SatWrapper
,SearchModule
,StatModule
,TernaryClausesDatabase
,Trail
,UnaryClausesDatabase
,WrapperDebugModule
public interface SolverComponent
An interface for solver components, that are connected together via the Core.- Version:
- 4.8
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
initialize(Core core)
initializes the component with the given solver.
-
-
-
Method Detail
-
initialize
void initialize(Core core)
initializes the component with the given solver. May be called only once. This method must register the component to the solver for the run.- Parameters:
core
- core component to initialize
-
-