ActionQuerySet<T extends ActionQuery> |
An Action Query Set consists of action queries in a specific query language
and provides some common functionalities for such queries.
|
AlwaysQuery |
This class represents an always query in the action query language S.
|
HoldsQuery |
This class represents a holds query in the action query language S.
|
NecessarilyQuery |
This class represents a necessarily query in the action query language S.
|
QueryProposition |
Action queries are represented as propositional formulas with three possible
types of propositions: "holds", "always" and "necessarily" propositions.
|
SActionQuery |
This class represents a single action query in the action query language S,
which is based on the query language "P" discussed in the paper: Action
Languages.
|
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:
[Gelfond, Michael and Lifschitz, Vladimir: Action Languages.
|