Mentions légales du service

Skip to content

Resolve "implement notion of Goal in ABS language"

Vojtisek Didier requested to merge 141-add-goal into master

Add notion of Goal to ABS language:

  • added Goal: a goal is a named element with a pre and post condition image

  • added support to use Asset directly in expression so the Goal is expressed in terms of conditions on Assets image ⚠ this currently implies that Asset can also be used in GuardedAction, but this isn't relevant there and we should open an issue to prevent this.

  • added xtext grammar support

  • added 3 tests showing how we can use it

Closes #141 (closed)

Merge request reports