Uses of Class
de.rwth.swc.coffee4j.algorithmic.conflict.DiagnosisHittingSet
-
Packages that use DiagnosisHittingSet Package Description de.rwth.swc.coffee4j.algorithmic.conflict de.rwth.swc.coffee4j.engine.process.report de.rwth.swc.coffee4j.engine.report -
-
Uses of DiagnosisHittingSet in de.rwth.swc.coffee4j.algorithmic.conflict
Methods in de.rwth.swc.coffee4j.algorithmic.conflict that return types with arguments of type DiagnosisHittingSet Modifier and Type Method Description List<DiagnosisHittingSet>
ReduceBasedDiagnosisHittingSetBuilder. computeMinimalDiagnosisHittingSets(List<MissingInvalidTuple> missingInvalidTuples)
Methods in de.rwth.swc.coffee4j.algorithmic.conflict with parameters of type DiagnosisHittingSet Modifier and Type Method Description boolean
DiagnosisHittingSet. covers(DiagnosisHittingSet other)
-
Uses of DiagnosisHittingSet in de.rwth.swc.coffee4j.engine.process.report
Method parameters in de.rwth.swc.coffee4j.engine.process.report with type arguments of type DiagnosisHittingSet Modifier and Type Method Description void
LoggingConflictDetectionReporter. reportMinimalDiagnosisHittingSets(List<DiagnosisHittingSet> minimalDiagnosisHittingSets)
void
PrintStreamConflictDetectionReporter. reportMinimalDiagnosisHittingSets(List<DiagnosisHittingSet> minimalHittingSets)
-
Uses of DiagnosisHittingSet in de.rwth.swc.coffee4j.engine.report
Method parameters in de.rwth.swc.coffee4j.engine.report with type arguments of type DiagnosisHittingSet Modifier and Type Method Description void
ConflictDetectionReporter. reportMinimalDiagnosisHittingSets(List<DiagnosisHittingSet> minimalHittingSets)
-