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