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 and 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 and Description
abstract QueryProposition	QueryProposition.substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.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.
QueryProposition	AlwaysQuery.substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)
QueryProposition	NecessarilyQuery.substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)
QueryProposition	HoldsQuery.substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)