public interface ConflictListener extends SolverComponent
Modifier and Type | Method and Description |
---|---|
void |
onConflict(MapClause conflictclause,
int level)
called when a conflict occurs
|
initialize
void onConflict(MapClause conflictclause, int level)
conflictclause
- the conflict (unsatisfiable) clauselevel
- the level at which the conflict occurredCopyright © 2022. All rights reserved.