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

Packages that use PExpr
lmf.formula.csp.node   
 

Uses of PExpr in lmf.formula.csp.node
 

Subclasses of PExpr in lmf.formula.csp.node
 class ACspBaseExpr
           
 

Methods in lmf.formula.csp.node that return PExpr
 PExpr ACspIfProcess.getCondition()
           
 PExpr ACspIfExpr.getCondition()
           
 PExpr ACspBaseProcess.getExpr()
           
 PExpr ACspBaseCheckExpr.getExpr()
           
 PExpr ACspVariable.getExpression()
           
 PExpr ACspOutputComunication.getExpression()
           
 PExpr ACspGuardedProcess.getGuardExpr()
           
 PExpr ACspHidingProcess.getHidenEvents()
           
 PExpr ACspCheckExpr.getProcess()
           
 

Methods in lmf.formula.csp.node with parameters of type PExpr
 void ACspIfProcess.setCondition(PExpr node)
           
 void ACspIfExpr.setCondition(PExpr node)
           
 void ACspBaseProcess.setExpr(PExpr node)
           
 void ACspBaseCheckExpr.setExpr(PExpr node)
           
 void ACspVariable.setExpression(PExpr node)
           
 void ACspOutputComunication.setExpression(PExpr node)
           
 void ACspGuardedProcess.setGuardExpr(PExpr node)
           
 void ACspHidingProcess.setHidenEvents(PExpr node)
           
 void ACspCheckExpr.setProcess(PExpr node)
           
 

Constructors in lmf.formula.csp.node with parameters of type PExpr
ACspBaseCheckExpr(PExpr _expr_)
           
ACspBaseProcess(PExpr _expr_)
           
ACspCheckExpr(PExpr _process_, TLCheck _lCheck_, PCheckCondition _checkCondition_, TRBracket _rBracket_)
           
ACspGuardedProcess(PExpr _guardExpr_, TGuard _guard_, PHelp _process_)
           
ACspHidingProcess(PRenamingProcess _process_, TBackslash _backslash_, PExpr _hidenEvents_)
           
ACspIfExpr(TIf _if_, PExpr _condition_, TThen _then_, PExpression _thenExpr_, TElse _else_, PExpression _elseExpr_)
           
ACspIfProcess(TIf _if_, PExpr _condition_, TThen _then_, PExpression _thenProcess_, TElse _else_, PHelp _elseProcess_)
           
ACspOutputComunication(TOutput _output_, PExpr _expression_)
           
ACspVariable(TName _name_, TColon _colon_, PExpr _expression_)