|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PSpecification | |
---|---|
lmf.formula.csp.node |
Uses of PSpecification in lmf.formula.csp.node |
---|
Subclasses of PSpecification in lmf.formula.csp.node | |
---|---|
class |
ACspSpecification
|
Methods in lmf.formula.csp.node that return PSpecification | |
---|---|
PSpecification |
Start.getPSpecification()
|
PSpecification |
ACspModule.getSpecification()
|
Methods in lmf.formula.csp.node with parameters of type PSpecification | |
---|---|
void |
Start.setPSpecification(PSpecification node)
|
void |
ACspModule.setSpecification(PSpecification node)
|
Constructors in lmf.formula.csp.node with parameters of type PSpecification | |
---|---|
ACspModule(TModule _module_,
TName _name_,
PParameters _parameters_,
TExports _exports_,
PSpecification _specification_,
TEndModule _endModule_)
|
|
Start(PSpecification _pSpecification_,
EOF _eof_)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |