Uses of Class
de.rwth.swc.coffee4j.algorithmic.conflict.ConflictDetectionConfiguration
-
-
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 theConflictDetectionConfiguration
-
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 aConflictDetector
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)
-