Franck Pommereau / snakes

Go to a project
Toggle navigation Toggle navigation pinning
Franck Pommereau
ad47b853 1 parent ab68f8de

updated doc

Inline Side-by-side
Showing 1 changed file with 1 additions and 0 deletions
...@@ -1514,6 +1514,7 @@ class Inhibitor (Test) : ...@@ -1514,6 +1514,7 @@ class Inhibitor (Test) :
1514 all. 1514 all.
1515 1515
1516 For instance: 1516 For instance:
1517 +
1517 * `Inhibitor(Value(3))` ensures that there is no token whose 1518 * `Inhibitor(Value(3))` ensures that there is no token whose
1518 value is `3` in the place when the transition is fired 1519 value is `3` in the place when the transition is fired
1519 * `Inhibitor(Variable('x'))` ensures that there is no token 1520 * `Inhibitor(Variable('x'))` ensures that there is no token
......