Uses of Class
de.rwth.swc.coffee4j.algorithmic.conflict.ConflictDetectionConfiguration

Packages that use ConflictDetectionConfiguration

Package	Description
de.rwth.swc.coffee4j.algorithmic.conflict
de.rwth.swc.coffee4j.engine.configuration.execution
de.rwth.swc.coffee4j.engine.process.manager
de.rwth.swc.coffee4j.junit.engine.annotation.configuration.diagnosis

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

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

Modifier and Type	Method	Description
static ConflictDetectionConfiguration	ConflictDetectionConfiguration.disable()

Constructors in de.rwth.swc.coffee4j.algorithmic.conflict with parameters of type ConflictDetectionConfiguration

Constructor	Description
ConflictDetectionManager(ConflictDetectionConfiguration configuration, CompleteTestModel originalTestModel)

Uses of ConflictDetectionConfiguration in de.rwth.swc.coffee4j.engine.configuration.execution

Methods in de.rwth.swc.coffee4j.engine.configuration.execution that return ConflictDetectionConfiguration

Modifier and Type	Method	Description
ConflictDetectionConfiguration	InterleavingExecutionConfiguration.getConflictDetectionConfiguration()
ConflictDetectionConfiguration	SequentialExecutionConfiguration.getConflictDetectionConfiguration()

Methods in de.rwth.swc.coffee4j.engine.configuration.execution with parameters of type ConflictDetectionConfiguration

Modifier and Type	Method	Description
InterleavingExecutionConfiguration.Builder	InterleavingExecutionConfiguration.Builder.conflictDetectionConfiguration(ConflictDetectionConfiguration conflictDetectionConfiguration)
SequentialExecutionConfiguration.Builder	SequentialExecutionConfiguration.Builder.conflictDetectionConfiguration(ConflictDetectionConfiguration constraintDiagnosisEnabled)	Sets the ConflictDetectionConfiguration

Uses of ConflictDetectionConfiguration in de.rwth.swc.coffee4j.engine.process.manager

Methods in de.rwth.swc.coffee4j.engine.process.manager with parameters of type ConflictDetectionConfiguration

Modifier and Type	Method	Description
ConflictDetector	ConflictDetectorFactory.create(ConflictDetectionConfiguration conflictDetectionConfiguration, ModelConverter modelConverter)	Creates a ConflictDetector

Constructors in de.rwth.swc.coffee4j.engine.process.manager with parameters of type ConflictDetectionConfiguration

Constructor	Description
ConflictDetector(ConflictDetectionConfiguration conflictDetectionConfiguration, ModelConverter modelConverter)

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

Methods in de.rwth.swc.coffee4j.junit.engine.annotation.configuration.diagnosis that return ConflictDetectionConfiguration

Modifier and Type	Method	Description
ConflictDetectionConfiguration	ConflictDetectionConfigurationLoader.load(Method method)