Interface PropagateListener

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

public interface PropagateListener extends SolverComponent
module called when a propagate event is called
Version:
4.10
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    onPropagate(int literal, int clauseId)
    called when a propagation occurs

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

    initialize
  • Method Details

    • onPropagate

      void onPropagate(int literal, int clauseId)
      called when a propagation occurs
      Parameters:
      literal - the literal propagated
      clauseId - the unique ID of the unit clause