Lines Matching refs:ATMT
1212 "- states: using the `@ATMT.state` decorator. They usually do nothing\n",
1213 …"- conditions: using the `@ATMT.condition` and `@ATMT.receive_condition` decorators. They describe…
1214 …"- actions: using the `ATMT.action` decorator. They describe what to do, like sending a back, when…
1241 " @ATMT.state(initial=1)\n",
1245 " @ATMT.state()\n",
1249 " @ATMT.state()\n",
1254 " @ATMT.state()\n",
1259 " @ATMT.state()\n",
1263 " @ATMT.state(final=1)\n",
1267 " @ATMT.condition(BEGIN)\n",
1271 " @ATMT.condition(SYN)\n",
1279 " @ATMT.timeout(SYN, 1)\n",