Package de.rwth.swc.coffee4j.engine.process.phase.interleaving.checking
-
Interface Summary Interface Description CheckingPhaseFactory Interface for a Factory creating aCheckingPhase
. -
Class Summary Class Description CheckingPhase
Interface | Description |
---|---|
CheckingPhaseFactory |
Interface for a Factory creating a
CheckingPhase . |
Class | Description |
---|---|
CheckingPhase |