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

Packages that use TExternalChoice
lmf.formula.csp.analysis   
lmf.formula.csp.node   
 

Uses of TExternalChoice in lmf.formula.csp.analysis
 

Methods in lmf.formula.csp.analysis with parameters of type TExternalChoice
 void AnalysisAdapter.caseTExternalChoice(TExternalChoice node)
           
 void Analysis.caseTExternalChoice(TExternalChoice node)
           
 

Uses of TExternalChoice in lmf.formula.csp.node
 

Methods in lmf.formula.csp.node that return TExternalChoice
 TExternalChoice ACspExternalReplicatedProcess.getExternalChoice()
           
 TExternalChoice ACspExternalChoiceProcess.getExternalChoice()
           
 

Methods in lmf.formula.csp.node with parameters of type TExternalChoice
 void ACspExternalReplicatedProcess.setExternalChoice(TExternalChoice node)
           
 void ACspExternalChoiceProcess.setExternalChoice(TExternalChoice node)
           
 

Constructors in lmf.formula.csp.node with parameters of type TExternalChoice
ACspExternalChoiceProcess(PTimeoutProcess _leftProcess_, TExternalChoice _externalChoice_, PChoiceProcess _rightProcess_)
           
ACspExternalReplicatedProcess(TExternalChoice _externalChoice_, PVariableList _variableList_, TAt _at_, PHelp _process_)