Uses of Class
de.rwth.swc.coffee4j.engine.process.interleaving.DefaultGeneratingInterleavingPhaseManager
No usage of de.rwth.swc.coffee4j.engine.process.interleaving.DefaultGeneratingInterleavingPhaseManager