Interface ConflictDetectionReporter
-
- All Known Implementing Classes:
LoggingConflictDetectionReporter
,PrintStreamConflictDetectionReporter
public interface ConflictDetectionReporter
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
reportDetectedMissingInvalidTuples(List<MissingInvalidTuple> missingInvalidTuples)
void
reportMinimalDiagnosisHittingSets(List<DiagnosisHittingSet> minimalHittingSets)
-
-
-
Method Detail
-
reportDetectedMissingInvalidTuples
void reportDetectedMissingInvalidTuples(List<MissingInvalidTuple> missingInvalidTuples)
-
reportMinimalDiagnosisHittingSets
void reportMinimalDiagnosisHittingSets(List<DiagnosisHittingSet> minimalHittingSets)
-
-