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