Package de.rwth.swc.coffee4j.engine.conflict

Class ReduceBasedDiagnosisHittingSetBuilder

java.lang.Object

de.rwth.swc.coffee4j.engine.conflict.ReduceBasedDiagnosisHittingSetBuilder

public class ReduceBasedDiagnosisHittingSetBuilder
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ReduceBasedDiagnosisHittingSetBuilder(TestModel testModel)

Method Summary

Modifier and Type	Method	Description
java.util.List<DiagnosisHittingSet>	computeMinimalDiagnosisHittingSets(java.util.List<MissingInvalidTuple> mits)

Methods inherited from class java.lang.Object

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

Constructor Detail

ReduceBasedDiagnosisHittingSetBuilder

public ReduceBasedDiagnosisHittingSetBuilder(TestModel testModel)

Method Detail

computeMinimalDiagnosisHittingSets

public java.util.List<DiagnosisHittingSet> computeMinimalDiagnosisHittingSets(java.util.List<MissingInvalidTuple> mits)