Uses of Interface
de.rwth.swc.coffee4j.engine.conflict.ConflictExplanation
-
Packages that use ConflictExplanation Package Description de.rwth.swc.coffee4j.engine.conflict -
-
Uses of ConflictExplanation in de.rwth.swc.coffee4j.engine.conflict
Classes in de.rwth.swc.coffee4j.engine.conflict that implement ConflictExplanation Modifier and Type Class Description classConflictSetclassDiagnosisSetsclassInconsistentBackgroundclassUnknownConflictExplanationMethods in de.rwth.swc.coffee4j.engine.conflict that return ConflictExplanation Modifier and Type Method Description ConflictExplanationMissingInvalidTuple. getExplanation()Constructors in de.rwth.swc.coffee4j.engine.conflict with parameters of type ConflictExplanation Constructor Description MissingInvalidTuple(int negatedErrorConstraintId, int[] involvedParameters, int[] missingValues, ConflictExplanation explanation)
-