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