TorXakis_Index - TorXakis/TorXakis GitHub Wiki
TorXakis Index¶
A¶
B¶
C¶
CapsId
Channel Definition CHANDEF
Choice Operator ##
Comment
Communications
Condition
Constant Definition CONSTDEF
Connection Definition CNECTDEF
D¶
Data Type
Developers
[Disable Operator >>
E¶
Eclipse
Editors
Enable Operator >>>
EXIT
F¶
Function Definition FUNCDEF
Function
G¶
Guard Operator =>>
Global variable
H¶
I¶
Input Enabled
Installation
[Interrupt Operator ><
is
J¶
L¶
Language Definition
LET
License
M¶
N¶
P¶
Parallel Operator |||
processBehaviour
Process Definition PROCDEF
S¶
Sequence Operator >->
SmallId
State Automaton Definition STAUTDEF
STOP
Synchronized Operator ||
Synchronized Channels Operator |[ ]|
Synchronous Operator |
T¶
TorXakis
Type Definition TYPEDEF
type checking functions