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.8
  • 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