Uses of Class
lmf.formula.csp.node.PSpecification

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_)