| Interface | Description |
|---|---|
| ActionQuerySatisfactionTester |
Classes implementing this interface are capable of checking whether a
transition system satisfies an action query.
|
| 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.
|