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

Class ConflictDetectionConfiguration

java.lang.Object

de.rwth.swc.coffee4j.algorithmic.conflict.ConflictDetectionConfiguration

public class ConflictDetectionConfiguration
extends Object

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
ConflictDiagnostician	createConflictDiagnostician()
ConflictExplainer	createConflictExplainer()
de.rwth.swc.coffee4j.algorithmic.conflict.TestModelExpander	createTestModelExpander(CompleteTestModel testModel)
static ConflictDetectionConfiguration	disable()
boolean	equals(Object o)
int	hashCode()
boolean	isConflictDetectionEnabled()
boolean	isConflictDiagnosisEnabled()
boolean	isConflictExplanationEnabled()
boolean	shouldAbort()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ConflictDetectionConfiguration

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

Method Detail

disable

public static ConflictDetectionConfiguration disable()

isConflictDetectionEnabled

public boolean isConflictDetectionEnabled()

shouldAbort

public boolean shouldAbort()

isConflictExplanationEnabled

public boolean isConflictExplanationEnabled()

isConflictDiagnosisEnabled

public boolean isConflictDiagnosisEnabled()

createConflictExplainer

public ConflictExplainer createConflictExplainer()

createConflictDiagnostician

public ConflictDiagnostician createConflictDiagnostician()

createTestModelExpander

public de.rwth.swc.coffee4j.algorithmic.conflict.TestModelExpander createTestModelExpander(CompleteTestModel testModel)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object