Constructors in lmf.formula.csp.node with parameters of type PVariableList |
ACspAlphabetisedReplicatedProcess(TParallel _parallel_,
PVariableList _variableList_,
TAt _at_,
TLBracket _lBracket_,
PExpression _expression_,
TRBracket _rBracket_,
PHelp _process_)
|
ACspExternalReplicatedProcess(TExternalChoice _externalChoice_,
PVariableList _variableList_,
TAt _at_,
PHelp _process_)
|
ACspInterleaveReplicatedProcess(TInterleave _interleave_,
PVariableList _variableList_,
TAt _at_,
PHelp _process_)
|
ACspInternalReplicatedProcess(TInternalChoice _internalChoice_,
PVariableList _variableList_,
TAt _at_,
PHelp _process_)
|
ACspLinkedReplicatedProcess(TLBracket _lBracket_,
PLinkList _linkList_,
TRBracket _rBracket_,
PVariableList _variableList_,
TAt _at_,
PHelp _process_)
|
ACspLinkedVariableList(PVariable _variable_,
TComma _comma_,
PVariableList _next_)
|
ACspSequentialReplicatedProcess(TSemicolon _semicolon_,
PVariableList _variableList_,
TAt _at_,
PHelp _process_)
|
ACspSharingReplicatedProcess(TLParallel _lParallel_,
PExpression _expression_,
TRParallel _rParallel_,
PVariableList _variableList_,
TAt _at_,
PHelp _process_)
|