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)
-