Rationale:
- All initialisation constraints can now be described in the
assume section
assume also allows for relational constraints (including with the agents' id)- The parser for initializers was never that good to begin with
I am also growing weary of undef. It was probably a bad decision to add it in the first place, its semantics are extremely punishing, etc.
My suggestion is:
- Variable declarations (
environment, interface, stigmergy tuples) become mere lists of names
- If a variable is unconstrained then its initial value is any integer
- I would just do away with
undef
About stigmergy syntax:
- Right now variables within the same tuple are separated by commas, while tuples are separated by semicolons, and they have no "title". E.g.,
a,b: 0, 0; c; 1
- I suggest to add a
variables title and to use parentheses to group tutples, i.e., variables = (a, b), c
Rationale:
assumesectionassumealso allows for relational constraints (including with the agents' id)I am also growing weary of
undef. It was probably a bad decision to add it in the first place, its semantics are extremely punishing, etc.My suggestion is:
environment,interface, stigmergy tuples) become mere lists of namesundefAbout
stigmergysyntax:a,b: 0, 0; c; 1variablestitle and to use parentheses to group tutples, i.e.,variables = (a, b), c