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 ConflictExplainerConflictDetectionConfiguration. 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 classNoConflictExplainerclassQuickConflictExplainerAlgorithm to find a minimal conflict for an over-constrained CSP
-