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.10

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    initialize(Core core)
    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