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)