Package net.sf.tweety.action.query.syntax

Class Summary

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