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.8
-
-
Method Summary
All Methods Instance Methods Abstract Methods 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
-
-