Package | Description |
---|---|
fr.lip6.move.pnml.framework.utils |
Modifier and Type | Method and Description |
---|---|
IdRepository |
ModelRepository.getCurrentIdRepository()
Returns the
IdRepository associated to the current workspace. |
IdRepository |
ModelRepositoryUnit.getIdrep() |
Modifier and Type | Method and Description |
---|---|
boolean |
IdRepository.fuseWith(IdRepository otherIdRep)
Returns true if no id are common between current and given IdRepository.
|
Boolean |
IdRepository.isCompatible(IdRepository otherIdRep)
Returns true if no id are common between current and given IdRepository.
|
Constructor and Description |
---|
ModelRepositoryUnit(org.eclipse.emf.ecore.EObject petriNetDoc,
IdRepository idrep)
Constructor to enable storage of PetriNetDocs as EMF's EObjects.
|
ModelRepositoryUnit(IdRepository theIdrep,
HLAPIRootClass thePetriNetDoc)
Default constructor.
|
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.