|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PortFreshValue | |
---|---|
fr.tpt.aadl.annex.behavior.aadlba |
Uses of PortFreshValue in fr.tpt.aadl.annex.behavior.aadlba |
---|
Methods in fr.tpt.aadl.annex.behavior.aadlba that return PortFreshValue | |
---|---|
PortFreshValue |
AadlBaFactory.createPortFreshValue()
Returns a new object of class 'Port Fresh Value' |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |