Uses of Class
net.sf.tweety.action.query.syntax.QueryProposition

Packages that use QueryProposition

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

Uses of QueryProposition in net.sf.tweety.action.query.syntax

Subclasses of QueryProposition in net.sf.tweety.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 net.sf.tweety.action.query.syntax that return QueryProposition

Modifier and Type	Method	Description
QueryProposition	AlwaysQuery.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
QueryProposition	HoldsQuery.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
QueryProposition	NecessarilyQuery.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
abstract QueryProposition	QueryProposition.substitute(java.util.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.