Package | Description |
---|---|
fr.lip6.move.pnml.ptnet.hlapi |
Modifier and Type | Method and Description |
---|---|
NameHLAPI |
TransitionNodeHLAPI.getNameHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
NameHLAPI |
TransitionHLAPI.getNameHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NameHLAPI |
RefTransitionHLAPI.getNameHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NameHLAPI |
RefPlaceHLAPI.getNameHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NameHLAPI |
PnObjectHLAPI.getNameHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
NameHLAPI |
PlaceNodeHLAPI.getNameHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
NameHLAPI |
PlaceHLAPI.getNameHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NameHLAPI |
PetriNetHLAPI.getNameHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NameHLAPI |
PageHLAPI.getNameHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NameHLAPI |
NodeHLAPI.getNameHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
NameHLAPI |
ArcHLAPI.getNameHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
boolean |
NameHLAPI.equals(NameHLAPI item) |
void |
TransitionNodeHLAPI.setNameHLAPI(NameHLAPI elem)
set Name
|
void |
TransitionHLAPI.setNameHLAPI(NameHLAPI elem)
set Name
|
void |
RefTransitionHLAPI.setNameHLAPI(NameHLAPI elem)
set Name
|
void |
RefPlaceHLAPI.setNameHLAPI(NameHLAPI elem)
set Name
|
void |
PnObjectHLAPI.setNameHLAPI(NameHLAPI elem)
set Name
|
void |
PlaceNodeHLAPI.setNameHLAPI(NameHLAPI elem)
set Name
|
void |
PlaceHLAPI.setNameHLAPI(NameHLAPI elem)
set Name
|
void |
PetriNetHLAPI.setNameHLAPI(NameHLAPI elem)
set Name
|
void |
PageHLAPI.setNameHLAPI(NameHLAPI elem)
set Name
|
void |
NodeHLAPI.setNameHLAPI(NameHLAPI elem)
set Name
|
void |
ArcHLAPI.setNameHLAPI(NameHLAPI elem)
set Name
|
Constructor and Description |
---|
ArcHLAPI(String id,
NameHLAPI name,
NodeHLAPI source,
NodeHLAPI target,
ArcGraphicsHLAPI arcgraphics,
PTArcAnnotationHLAPI inscription)
this constructor allows you to set all 'settable' values
excepted container.
|
ArcHLAPI(String id,
NameHLAPI name,
NodeHLAPI source,
NodeHLAPI target,
ArcGraphicsHLAPI arcgraphics,
PTArcAnnotationHLAPI inscription,
PageHLAPI containerPage)
this constructor allows you to set all 'settable' values, including container if any.
|
PageHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics)
this constructor allows you to set all 'settable' values
excepted container.
|
PageHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
PageHLAPI containerPage)
this constructor allows you to set all 'settable' values, including container if any.
|
PageHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
PetriNetHLAPI containerPetriNet)
this constructor allows you to set all 'settable' values, including container if any.
|
PetriNetHLAPI(String id,
PNTypeHLAPI type,
NameHLAPI name)
this constructor allows you to set all 'settable' values
excepted container.
|
PetriNetHLAPI(String id,
PNTypeHLAPI type,
NameHLAPI name,
PetriNetDocHLAPI containerPetriNetDoc)
this constructor allows you to set all 'settable' values, including container if any.
|
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.
|
RefPlaceHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
PlaceNodeHLAPI ref)
this constructor allows you to set all 'settable' values
excepted container.
|
RefPlaceHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
PlaceNodeHLAPI ref,
PageHLAPI containerPage)
this constructor allows you to set all 'settable' values, including container if any.
|
RefTransitionHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
TransitionNodeHLAPI ref)
this constructor allows you to set all 'settable' values
excepted container.
|
RefTransitionHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
TransitionNodeHLAPI ref,
PageHLAPI containerPage)
this constructor allows you to set all 'settable' values, including container if any.
|
TransitionHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics)
this constructor allows you to set all 'settable' values
excepted container.
|
TransitionHLAPI(String id,
NameHLAPI name,
NodeGraphicsHLAPI nodegraphics,
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.