Package | Description |
---|---|
fr.lip6.move.pnml.ptnet.hlapi |
Modifier and Type | Method and Description |
---|---|
PTMarkingHLAPI |
PlaceHLAPI.getInitialMarkingHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
boolean |
PTMarkingHLAPI.equals(PTMarkingHLAPI item) |
void |
PlaceHLAPI.setInitialMarkingHLAPI(PTMarkingHLAPI elem)
set InitialMarking
|
Constructor and Description |
---|
PlaceHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
PTMarkingHLAPI initialMarking)
this constructor allows you to set all 'settable' values
excepted container.
|
PlaceHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
PTMarkingHLAPI initialMarking,
PageHLAPI containerPage)
this constructor allows you to set all 'settable' values, including container if any.
|
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.