|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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_)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |