Uses of Class
de.rwth.swc.coffee4j.engine.conflict.DiagnosisElement
-
Packages that use DiagnosisElement Package Description de.rwth.swc.coffee4j.engine.conflict -
-
Uses of DiagnosisElement in de.rwth.swc.coffee4j.engine.conflict
Methods in de.rwth.swc.coffee4j.engine.conflict that return types with arguments of type DiagnosisElement Modifier and Type Method Description java.util.List<DiagnosisElement>DiagnosisHittingSet. getDiagnosisElements()java.util.List<DiagnosisElement>DiagnosisSet. getDiagnosisElements()Methods in de.rwth.swc.coffee4j.engine.conflict with parameters of type DiagnosisElement Modifier and Type Method Description intDiagnosisElement. compareTo(DiagnosisElement other)booleanDiagnosisHittingSet. contains(DiagnosisElement otherElement)Constructor parameters in de.rwth.swc.coffee4j.engine.conflict with type arguments of type DiagnosisElement Constructor Description DiagnosisHittingSet(java.util.List<DiagnosisElement> diagnosisElements)DiagnosisSet(java.util.List<DiagnosisElement> diagnosisElements)
-