Uses of Class
de.rwth.swc.coffee4j.engine.process.phase.interleaving.checking.CheckingPhase
-
Packages that use CheckingPhase Package Description de.rwth.swc.coffee4j.engine.process.interleaving de.rwth.swc.coffee4j.engine.process.phase.interleaving.checking -
-
Uses of CheckingPhase in de.rwth.swc.coffee4j.engine.process.interleaving
Fields in de.rwth.swc.coffee4j.engine.process.interleaving declared as CheckingPhase Modifier and Type Field Description protected CheckingPhase
AbstractInterleavingPhaseManager. checkingPhase
-
Uses of CheckingPhase in de.rwth.swc.coffee4j.engine.process.phase.interleaving.checking
Methods in de.rwth.swc.coffee4j.engine.process.phase.interleaving.checking that return CheckingPhase Modifier and Type Method Description CheckingPhase
CheckingPhaseFactory. create(InterleavingGenerationContext context)
-