| Class | Description |
|---|---|
| SActionQuerySatisfactionTester |
This class provides methods capable of checking if a given transition system
satisfies a set of action queries in the action query language s.
|
| SActionQuerySet |
This class models a set of action queries in the language S which is based on
the query language "P" discussed in the paper: Action Languages.
|