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)