Package org.jacop.jasat.modules.interfaces

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.10

Method Summary

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 Details

onConflict

void onConflict(MapClause conflictclause,
 int level)

called when a conflict occurs

Parameters:

conflictclause - the conflict (unsatisfiable) clause

level - the level at which the conflict occurred