Uses of Class
de.rwth.swc.coffee4j.engine.process.interleaving.InterleavingPhaseManagerConfiguration

Packages that use InterleavingPhaseManagerConfiguration

Package	Description
de.rwth.swc.coffee4j.engine.process.interleaving

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

Fields in de.rwth.swc.coffee4j.engine.process.interleaving declared as InterleavingPhaseManagerConfiguration

Modifier and Type	Field	Description
protected InterleavingPhaseManagerConfiguration	AbstractInterleavingPhaseManager.configuration

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

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

Constructors in de.rwth.swc.coffee4j.engine.process.interleaving with parameters of type InterleavingPhaseManagerConfiguration

Constructor	Description
AbstractInterleavingPhaseManager(InterleavingPhaseManagerConfiguration configuration)
DefaultGeneratingInterleavingPhaseManager(InterleavingPhaseManagerConfiguration configuration)
DefaultTestingInterleavingPhaseManager(InterleavingPhaseManagerConfiguration configuration)