Interface AssertionListener

All Superinterfaces:
SolverComponent
All Known Implementing Classes:
DebugModule, SatChangesListener, StatModule, WrapperDebugModule

public interface AssertionListener extends SolverComponent
A class that can register to the Solver, to be notified when some events occur. Allows one to add modules to the Solver.
Version:
4.10
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    onAssertion(int literal, int level)
    Called when a variable is set

    Methods inherited from interface org.jacop.jasat.core.SolverComponent

    initialize
  • Method Details

    • onAssertion

      void onAssertion(int literal, int level)
      Called when a variable is set
      Parameters:
      literal - the literal that is set propagation, false otherwise
      level - the search level