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
-