1. Create an "altarica" tag:
Code: Select all
[altarica][/altarica]
Code: Select all
[altarica]
class test
Boolean s (init = true);
event e;
transition
e: s -> s := false;
end[/altarica]
- class test
- Boolean s (init = true);
- event e;
- transition
- e: s -> s := false;
- end