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

Packages that use PExpression
lmf.formula.csp.node   
 

Uses of PExpression in lmf.formula.csp.node
 

Subclasses of PExpression in lmf.formula.csp.node
 class ACspBaseExpression
           
 class ACspIfExpression
           
 class ACspLambdaExpression
           
 class ACspLetExpression
           
 

Methods in lmf.formula.csp.node that return PExpression
 PExpression ACspIfExpr.getElseExpr()
           
 PExpression ACspSharingReplicatedProcess.getExpression()
           
 PExpression ACspSharingParallelProcess.getExpression()
           
 PExpression ACspParenthesedValue.getExpression()
           
 PExpression ACspLetExpr.getExpression()
           
 PExpression ACspLambdaExpr.getExpression()
           
 PExpression ACspArgument.getExpression()
           
 PExpression ACspAlphabetisedReplicatedProcess.getExpression()
           
 PExpression ACspAbstractDefinition.getExpression()
           
 PExpression ACspProcessDefinition.getExpression()
           
 PExpression ACspFunctionDefinition.getExpression()
           
 PExpression ACspConstantDefinition.getExpression()
           
 PExpression ACspAlphabetisedParallelProcess.getLeftExpr()
           
 PExpression ACspAlphabetisedParallelProcess.getRightExpr()
           
 PExpression ACspIfExpr.getThenExpr()
           
 PExpression ACspIfProcess.getThenProcess()
           
 

Methods in lmf.formula.csp.node with parameters of type PExpression
 void ACspIfExpr.setElseExpr(PExpression node)
           
 void ACspSharingReplicatedProcess.setExpression(PExpression node)
           
 void ACspSharingParallelProcess.setExpression(PExpression node)
           
 void ACspParenthesedValue.setExpression(PExpression node)
           
 void ACspLetExpr.setExpression(PExpression node)
           
 void ACspLambdaExpr.setExpression(PExpression node)
           
 void ACspArgument.setExpression(PExpression node)
           
 void ACspAlphabetisedReplicatedProcess.setExpression(PExpression node)
           
 void ACspAbstractDefinition.setExpression(PExpression node)
           
 void ACspProcessDefinition.setExpression(PExpression node)
           
 void ACspFunctionDefinition.setExpression(PExpression node)
           
 void ACspConstantDefinition.setExpression(PExpression node)
           
 void ACspAlphabetisedParallelProcess.setLeftExpr(PExpression node)
           
 void ACspAlphabetisedParallelProcess.setRightExpr(PExpression node)
           
 void ACspIfExpr.setThenExpr(PExpression node)
           
 void ACspIfProcess.setThenProcess(PExpression node)
           
 

Constructors in lmf.formula.csp.node with parameters of type PExpression
ACspAbstractDefinition(TName _name_, PParameters _parameters_, TDefs _defs_, PExpression _expression_)
           
ACspAlphabetisedParallelProcess(PChoiceProcess _leftProcess_, TLBracket _lBracket_, PExpression _leftExpr_, TParallel _parallel_, PExpression _rightExpr_, TRBracket _rBracket_, PChoiceProcess _rightProcess_)
           
ACspAlphabetisedReplicatedProcess(TParallel _parallel_, PVariableList _variableList_, TAt _at_, TLBracket _lBracket_, PExpression _expression_, TRBracket _rBracket_, PHelp _process_)
           
ACspArgument(PExpression _expression_)
           
ACspConstantDefinition(TName _name_, TDefs _defs_, PExpression _expression_)
           
ACspFunctionDefinition(TName _name_, PParameters _parameters_, TDefs _defs_, PExpression _expression_)
           
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_)
           
ACspLambdaExpr(TBackslash _backslash_, PParamList _paramList_, TAt _at_, PExpression _expression_)
           
ACspLetExpr(TLet _let_, PDefinitionList _definitionList_, TWithin _within_, PExpression _expression_)
           
ACspParenthesedValue(TLPar _lPar_, PExpression _expression_, TRPar _rPar_)
           
ACspProcessDefinition(TName _name_, PParameters _parameters_, TDefs _defs_, PExpression _expression_)
           
ACspSharingParallelProcess(PChoiceProcess _leftProcess_, TLParallel _lParallel_, PExpression _expression_, TRParallel _rParallel_, PChoiceProcess _rightProcess_)
           
ACspSharingReplicatedProcess(TLParallel _lParallel_, PExpression _expression_, TRParallel _rParallel_, PVariableList _variableList_, TAt _at_, PHelp _process_)