Uses of Interface
de.rwth.swc.coffee4j.algorithmic.conflict.explanation.ConflictExplainer
-
-
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()
-