Uses of Class
de.rwth.swc.coffee4j.engine.configuration.execution.InterleavingExecutionConfiguration

Packages that use InterleavingExecutionConfiguration

Package	Description
de.rwth.swc.coffee4j.engine.configuration.execution
de.rwth.swc.coffee4j.engine.process.interleaving
de.rwth.swc.coffee4j.engine.process.phase.interleaving.generation
de.rwth.swc.coffee4j.junit.engine.annotation.configuration.interleaving.execution.configuration

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

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

Modifier and Type	Method	Description
InterleavingExecutionConfiguration	InterleavingExecutionConfiguration.Builder.build()

Uses of InterleavingExecutionConfiguration in de.rwth.swc.coffee4j.engine.process.interleaving

Methods in de.rwth.swc.coffee4j.engine.process.interleaving that return InterleavingExecutionConfiguration

Modifier and Type	Method	Description
InterleavingExecutionConfiguration	DynamicInterleavingPhaseManagerConfiguration.getErrorConstraintGenerationExecutionConfiguration()
InterleavingExecutionConfiguration	DynamicInterleavingPhaseManagerConfiguration.getExecutionConfiguration()
InterleavingExecutionConfiguration	InterleavingPhaseManagerConfiguration.getExecutionConfiguration()

Methods in de.rwth.swc.coffee4j.engine.process.interleaving with parameters of type InterleavingExecutionConfiguration

Modifier and Type	Method	Description
DynamicInterleavingPhaseManagerConfiguration.Builder	DynamicInterleavingPhaseManagerConfiguration.Builder.errorConstraintGenerationConfiguration(InterleavingExecutionConfiguration configuration)
DynamicInterleavingPhaseManagerConfiguration.Builder	DynamicInterleavingPhaseManagerConfiguration.Builder.executionConfiguration(InterleavingExecutionConfiguration configuration)
InterleavingPhaseManagerConfiguration.Builder	InterleavingPhaseManagerConfiguration.Builder.executionConfiguration(InterleavingExecutionConfiguration configuration)

Uses of InterleavingExecutionConfiguration in de.rwth.swc.coffee4j.engine.process.phase.interleaving.generation

Constructors in de.rwth.swc.coffee4j.engine.process.phase.interleaving.generation with parameters of type InterleavingExecutionConfiguration

Constructor	Description
InterleavingGenerationContext(InterleavingExecutionConfiguration configuration, InputParameterModel model, ExtensionExecutor extensionExecutor)	Creates new InterleavingGenerationContext.

Uses of InterleavingExecutionConfiguration in de.rwth.swc.coffee4j.junit.engine.annotation.configuration.interleaving.execution.configuration

Methods in de.rwth.swc.coffee4j.junit.engine.annotation.configuration.interleaving.execution.configuration that return InterleavingExecutionConfiguration

Modifier and Type	Method	Description
InterleavingExecutionConfiguration	GeneratingInterleavingConfigurationLoader.load(Method method)
InterleavingExecutionConfiguration	InterleavingConfigurationLoader.load(Method method)
InterleavingExecutionConfiguration	DelegatingInterleavingConfigurationProvider.provide(Method method)
InterleavingExecutionConfiguration	MethodBasedGeneratingInterleavingConfigurationProvider.provide(Method method)
InterleavingExecutionConfiguration	MethodBasedInterleavingConfigurationProvider.provide(Method method)