Uses of Class
de.rwth.swc.coffee4j.engine.process.interleaving.DynamicInterleavingPhaseManagerConfiguration
-
Packages that use DynamicInterleavingPhaseManagerConfiguration Package Description de.rwth.swc.coffee4j.engine.process.interleaving -
-
Uses of DynamicInterleavingPhaseManagerConfiguration in de.rwth.swc.coffee4j.engine.process.interleaving
Methods in de.rwth.swc.coffee4j.engine.process.interleaving that return DynamicInterleavingPhaseManagerConfiguration Modifier and Type Method Description DynamicInterleavingPhaseManagerConfiguration
DynamicInterleavingPhaseManagerConfiguration.Builder. build()
Constructors in de.rwth.swc.coffee4j.engine.process.interleaving with parameters of type DynamicInterleavingPhaseManagerConfiguration Constructor Description DefaultDynamicInterleavingPhaseManager(DynamicInterleavingPhaseManagerConfiguration configuration)
-