Uses of Interface
de.rwth.swc.coffee4j.algorithmic.conflict.InternalExplanation

Packages that use InternalExplanation

Package	Description
de.rwth.swc.coffee4j.algorithmic.conflict
de.rwth.swc.coffee4j.algorithmic.conflict.explanation

Uses of InternalExplanation in de.rwth.swc.coffee4j.algorithmic.conflict

Classes in de.rwth.swc.coffee4j.algorithmic.conflict that implement InternalExplanation

Modifier and Type	Class	Description
class	InternalConflictSet
class	InternalDiagnosisSets
class	InternalInconsistentBackground
class	InternalUnknownExplanation

Methods in de.rwth.swc.coffee4j.algorithmic.conflict that return InternalExplanation

Modifier and Type	Method	Description
InternalExplanation	InternalMissingInvalidTuple.getExplanation()

Constructors in de.rwth.swc.coffee4j.algorithmic.conflict with parameters of type InternalExplanation

Constructor	Description
InternalMissingInvalidTuple(int negatedErrorConstraintId, int[] involvedParameters, int[] missingValues, InternalExplanation explanation)

Uses of InternalExplanation in de.rwth.swc.coffee4j.algorithmic.conflict.explanation

Methods in de.rwth.swc.coffee4j.algorithmic.conflict.explanation that return types with arguments of type InternalExplanation

Modifier and Type	Method	Description
Optional<InternalExplanation>	ConflictExplainer.getMinimalConflict(ChocoModel model, int[] background, int[] relaxable)
Optional<InternalExplanation>	NoConflictExplainer.getMinimalConflict(ChocoModel model, int[] background, int[] relaxable)
Optional<InternalExplanation>	QuickConflictExplainer.getMinimalConflict(ChocoModel model, int[] background, int[] relaxable)	Finds a preferred explanation for an over-constrained CSP