Uses of Class
org.tweetyproject.action.query.syntax.QueryProposition

Packages that use QueryProposition

Package	Description
org.tweetyproject.action.query.syntax

Uses of QueryProposition in org.tweetyproject.action.query.syntax

Subclasses of QueryProposition in org.tweetyproject.action.query.syntax

Modifier and Type	Class	Description
class	AlwaysQuery	This class represents an always query in the action query language S.
class	HoldsQuery	This class represents a holds query in the action query language S.
class	NecessarilyQuery	This class represents a necessarily query in the action query language S.

Methods in org.tweetyproject.action.query.syntax that return QueryProposition

Modifier and Type	Method	Description
QueryProposition	AlwaysQuery.substitute(Map<? extends Term<?>,? extends Term<?>> map)
QueryProposition	HoldsQuery.substitute(Map<? extends Term<?>,? extends Term<?>> map)
QueryProposition	NecessarilyQuery.substitute(Map<? extends Term<?>,? extends Term<?>> map)
abstract QueryProposition	QueryProposition.substitute(Map<? extends Term<?>,? extends Term<?>> map)	Returns a new query proposition of the same type, in which all variables in inner formulas and actions are replaced according to the given map.