Interface PropagateListener
- All Superinterfaces:
SolverComponent
- All Known Implementing Classes:
DebugModule
,SatChangesListener
,StatModule
,WrapperDebugModule
module called when a propagate event is called
- Version:
- 4.9
-
Method Summary
Modifier and TypeMethodDescriptionvoid
onPropagate
(int literal, int clauseId) called when a propagation occursMethods 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 propagatedclauseId
- the unique ID of the unit clause
-