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

Packages that use SActionQuery

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

Uses of SActionQuery in net.sf.tweety.action.query

Methods in net.sf.tweety.action.query that return SActionQuery

Modifier and Type	Method and Description
SActionQuery	SActionQuerySet.getConjunctionOfAllQueries() Returns a conjunction of all contained queries.

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

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

Method parameters in net.sf.tweety.action.query with type arguments of type SActionQuery

Modifier and Type	Method and Description
private java.lang.String	SActionQuerySatisfactionTester.getConstraints(java.util.Collection<? extends SActionQuery> queries) Returns the program C_q which contains a constraint for each query in question.
private java.lang.String	SActionQuerySatisfactionTester.getRules(java.util.Collection<SActionQuery> queries) Returns the basic translation of action query laws to rules in the logic program.

Constructor parameters in net.sf.tweety.action.query with type arguments of type SActionQuery

Constructor and Description
SActionQuerySet(java.util.Collection<SActionQuery> c) Creates a new belief set with the given collection of queries.

Uses of SActionQuery in net.sf.tweety.action.query.parser

Methods in net.sf.tweety.action.query.parser that return SActionQuery

Modifier and Type	Method and Description
private SActionQuery	ActionQueryParser.parseActionFormula(java.util.Stack<java.lang.Object> stack) Parses a simple formula as a list of string tokens or formulas into an action query.
SActionQuery	ActionQueryParser.parseFormula(java.io.Reader reader)

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

Methods in net.sf.tweety.action.query.syntax that return SActionQuery

Modifier and Type	Method and Description
protected SActionQuery	SActionQuery.substituteInnerFormulas(java.util.Map<Variable,Constant> map) Returns a new action query in which all variables are mapped to constants with regard to the given map.

Methods in net.sf.tweety.action.query.syntax that return types with arguments of type SActionQuery

Modifier and Type	Method and Description
java.util.Set<SActionQuery>	SActionQuery.getAllGrounded() Returns the set of all grounded instances of this causal rule.