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