Class DiagnosisHittingSet
- java.lang.Object
-
- de.rwth.swc.coffee4j.algorithmic.conflict.DiagnosisHittingSet
-
public class DiagnosisHittingSet extends Object
-
-
Constructor Summary
Constructors Constructor Description DiagnosisHittingSet(List<DiagnosisElement> diagnosisElements)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
contains(DiagnosisElement otherElement)
boolean
covers(DiagnosisHittingSet other)
boolean
equals(Object o)
List<DiagnosisElement>
getDiagnosisElements()
int
hashCode()
String
toString()
-
-
-
Constructor Detail
-
DiagnosisHittingSet
public DiagnosisHittingSet(List<DiagnosisElement> diagnosisElements)
-
-
Method Detail
-
getDiagnosisElements
public List<DiagnosisElement> getDiagnosisElements()
-
covers
public boolean covers(DiagnosisHittingSet other)
-
contains
public boolean contains(DiagnosisElement otherElement)
-
-