Uses of Package
de.rwth.swc.coffee4j.engine.process.manager
-
Classes in de.rwth.swc.coffee4j.engine.process.manager used by de.rwth.swc.coffee4j.engine.process.interleaving Class Description PhaseManager Manages differentPhase
s -
Classes in de.rwth.swc.coffee4j.engine.process.manager used by de.rwth.swc.coffee4j.engine.process.manager Class Description ConflictDetector -
Classes in de.rwth.swc.coffee4j.engine.process.manager used by de.rwth.swc.coffee4j.engine.process.manager.sequential Class Description ConflictDetectorFactory Factory for aConflictDetector
PhaseManager Manages differentPhase
s