Uses of Interface
de.rwth.swc.coffee4j.algorithmic.conflict.ConflictExplanation
-
Packages that use ConflictExplanation Package Description de.rwth.swc.coffee4j.algorithmic.conflict -
-
Uses of ConflictExplanation in de.rwth.swc.coffee4j.algorithmic.conflict
Classes in de.rwth.swc.coffee4j.algorithmic.conflict that implement ConflictExplanation Modifier and Type Class Description class
ConflictElementsBasedExplanation
class
ConflictSet
class
DiagnosisSets
class
InconsistentBackground
class
UnknownConflictExplanation
Methods in de.rwth.swc.coffee4j.algorithmic.conflict that return ConflictExplanation Modifier and Type Method Description ConflictExplanation
MissingInvalidTuple. getExplanation()
Constructors in de.rwth.swc.coffee4j.algorithmic.conflict with parameters of type ConflictExplanation Constructor Description MissingInvalidTuple(int negatedErrorConstraintId, int[] involvedParameters, int[] missingValues, ConflictExplanation explanation)
-