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)