de.rwth.swc.coffee4j.engine.process.phase.interleaving.checking (de.rwth.swc.coffee4j:coffee4j-aggregate 1.0.8 API)

Interface Summary
Interface Description

CheckingPhaseFactory
Interface for a Factory creating a CheckingPhase.
Class Summary
Class Description

CheckingPhase

Package de.rwth.swc.coffee4j.engine.process.phase.interleaving.checking