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(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.
-