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.
|