Package org.tweetyproject.action.query.syntax

package org.tweetyproject.action.query.syntax

Class	Description
ActionQuery	This is a basic interface for action queries.
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.