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

Packages that use QueryProposition

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

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

Methods in net.sf.tweety.action.query.analysis that return types with arguments of type QueryProposition

Modifier and Type	Method	Description
private java.util.Set<QueryProposition>	SActionQuerySatisfactionTester.getQueryPropositions(SActionQuery query)	Calculates the set of all query propositions which appear in the given query.

Methods in net.sf.tweety.action.query.analysis with parameters of type QueryProposition

Modifier and Type	Method	Description
private java.lang.String	SActionQuerySatisfactionTester.getQueryPropositionPartRules(QueryProposition queryProposition)	Calculatesthe translation of a query proposition (holds, always, necessarily) to rules of a normal logic program.

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.