Interface ConflictListener
-
- All Superinterfaces:
SolverComponent
- All Known Implementing Classes:
ActivityModule
,DebugModule
,HeuristicRestartModule
,SatWrapper
,StatModule
,WrapperDebugModule
public interface ConflictListener extends SolverComponent
module that listens to conflicts that are discovered.- Version:
- 4.7
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
onConflict(MapClause conflictclause, int level)
called when a conflict occurs-
Methods inherited from interface org.jacop.jasat.core.SolverComponent
initialize
-
-
-
-
Method Detail
-
onConflict
void onConflict(MapClause conflictclause, int level)
called when a conflict occurs- Parameters:
conflictclause
- the conflict (unsatisfiable) clauselevel
- the level at which the conflict occurred
-
-