Uses of Class
de.rwth.swc.coffee4j.algorithmic.conflict.choco.ChocoModel

Packages that use ChocoModel

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

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

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

Modifier and Type	Method	Description
ChocoModel	InternalConflictSet.getChocoModel()

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

Constructor	Description
InternalConflictSet(ChocoModel chocoModel, int[] background, int[] relaxable, int[] conflictSet)

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

Methods in de.rwth.swc.coffee4j.algorithmic.conflict.explanation with parameters of type ChocoModel

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