Uses of Interface
de.rwth.swc.coffee4j.engine.conflict.explanation.ConflictExplainer

Packages that use ConflictExplainer

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

Uses of ConflictExplainer in de.rwth.swc.coffee4j.engine.conflict

Methods in de.rwth.swc.coffee4j.engine.conflict that return ConflictExplainer

Modifier and Type	Method	Description
ConflictExplainer	ConflictDetectionConfiguration.createConflictExplainer()

Methods in de.rwth.swc.coffee4j.engine.conflict that return types with arguments of type ConflictExplainer

Modifier and Type	Method	Description
java.lang.Class<? extends ConflictExplainer>	ConflictDetectionConfiguration.getConflictExplainerClass()

Constructor parameters in de.rwth.swc.coffee4j.engine.conflict with type arguments of type ConflictExplainer

Constructor	Description
ConflictDetectionConfiguration(boolean conflictDetectionEnabled, boolean shouldAbort, boolean conflictExplanationEnabled, java.lang.Class<? extends ConflictExplainer> conflictExplainerClass, boolean conflictDiagnosisEnabled, java.lang.Class<? extends ConflictDiagnostician> conflictDiagnosticianClass)

Uses of ConflictExplainer in de.rwth.swc.coffee4j.engine.conflict.explanation

Classes in de.rwth.swc.coffee4j.engine.conflict.explanation that implement ConflictExplainer

Modifier and Type	Class	Description
class	NoConflictExplainer
class	QuickConflictExplainer	Algorithm to find a minimal conflict for an over-constrained CSP