Uses of Interface
de.rwth.swc.coffee4j.engine.process.phase.interleaving.checking.CheckingPhaseFactory
-
Packages that use CheckingPhaseFactory Package Description de.rwth.swc.coffee4j.engine.process.interleaving -
-
Uses of CheckingPhaseFactory in de.rwth.swc.coffee4j.engine.process.interleaving
Methods in de.rwth.swc.coffee4j.engine.process.interleaving that return CheckingPhaseFactory Modifier and Type Method Description CheckingPhaseFactory
DynamicInterleavingPhaseManagerConfiguration. getCheckingPhaseFactory()
CheckingPhaseFactory
InterleavingPhaseManagerConfiguration. getCheckingPhaseFactory()
Methods in de.rwth.swc.coffee4j.engine.process.interleaving with parameters of type CheckingPhaseFactory Modifier and Type Method Description DynamicInterleavingPhaseManagerConfiguration.Builder
DynamicInterleavingPhaseManagerConfiguration.Builder. checkingPhaseFactory(CheckingPhaseFactory checkingPhaseFactory)
InterleavingPhaseManagerConfiguration.Builder
InterleavingPhaseManagerConfiguration.Builder. checkingPhaseFactory(CheckingPhaseFactory checkingPhaseFactory)
-