Package de.rwth.swc.coffee4j.algorithmic.conflict

Class ReduceBasedDiagnosisHittingSetBuilder

java.lang.Object

de.rwth.swc.coffee4j.algorithmic.conflict.ReduceBasedDiagnosisHittingSetBuilder

public class ReduceBasedDiagnosisHittingSetBuilder
extends Object

Constructor Summary

Constructors

Constructor	Description
ReduceBasedDiagnosisHittingSetBuilder(CompleteTestModel testModel)

Method Summary

Modifier and Type	Method	Description
List<DiagnosisHittingSet>	computeMinimalDiagnosisHittingSets(List<MissingInvalidTuple> missingInvalidTuples)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ReduceBasedDiagnosisHittingSetBuilder

public ReduceBasedDiagnosisHittingSetBuilder(CompleteTestModel testModel)

Method Detail

computeMinimalDiagnosisHittingSets

public List<DiagnosisHittingSet> computeMinimalDiagnosisHittingSets(List<MissingInvalidTuple> missingInvalidTuples)