Interface ConflictDetectionReporter
-
- All Known Implementing Classes:
PrintStreamConflictDetectionReporter
public interface ConflictDetectionReporter
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidreportDetectedMissingInvalidTuples(java.util.List<de.rwth.swc.coffee4j.engine.conflict.MissingInvalidTuple> missingInvalidTuples)voidreportMinimalDiagnosisHittingSets(java.util.List<de.rwth.swc.coffee4j.engine.conflict.DiagnosisHittingSet> minimalHittingSets)
-
-
-
Method Detail
-
reportDetectedMissingInvalidTuples
void reportDetectedMissingInvalidTuples(java.util.List<de.rwth.swc.coffee4j.engine.conflict.MissingInvalidTuple> missingInvalidTuples)
-
reportMinimalDiagnosisHittingSets
void reportMinimalDiagnosisHittingSets(java.util.List<de.rwth.swc.coffee4j.engine.conflict.DiagnosisHittingSet> minimalHittingSets)
-
-