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.9
-
Method Summary
Modifier and TypeMethodDescriptionvoid
initialize
(Core core) initializes the component with the given solver.
-
Method Details
-
initialize
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
-