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

    Modifier and Type
    Method
    Description
    void
    initializes the component with the given solver.
  • Method Details

    • 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