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

Packages that use ConflictExplainer

Package	Description
de.rwth.swc.coffee4j.algorithmic.conflict
de.rwth.swc.coffee4j.algorithmic.conflict.explanation
de.rwth.swc.coffee4j.junit.engine.annotation.configuration.diagnosis

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

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

Modifier and Type	Method	Description
ConflictExplainer	ConflictDetectionConfiguration.createConflictExplainer()

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

Constructor	Description
ConflictDetectionConfiguration(boolean conflictDetectionEnabled, boolean shouldAbort, boolean conflictExplanationEnabled, Supplier<? extends ConflictExplainer> conflictExplainerSupplier, boolean conflictDiagnosisEnabled, Supplier<? extends ConflictDiagnostician> conflictDiagnosticianSupplier)

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

Classes in de.rwth.swc.coffee4j.algorithmic.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

Uses of ConflictExplainer in de.rwth.swc.coffee4j.junit.engine.annotation.configuration.diagnosis

Methods in de.rwth.swc.coffee4j.junit.engine.annotation.configuration.diagnosis that return types with arguments of type ConflictExplainer

Modifier and Type	Method	Description
Class<? extends ConflictExplainer>	conflictExplanationAlgorithm()