Uses of Class
org.tweetyproject.action.query.syntax.QueryProposition
-
Uses of QueryProposition in org.tweetyproject.action.query.syntax
Modifier and TypeClassDescriptionclass
This class represents an always query in the action query language S.class
This class represents a holds query in the action query language S.class
This class represents a necessarily query in the action query language S.Modifier and TypeMethodDescriptionAlwaysQuery.substitute(Map<? extends Term<?>,? extends Term<?>> map)
HoldsQuery.substitute(Map<? extends Term<?>,? extends Term<?>> map)
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.