Uses of Class
net.sf.tweety.action.query.syntax.SActionQuery
-
Packages that use SActionQuery Package Description net.sf.tweety.action.query.analysis net.sf.tweety.action.query.parser net.sf.tweety.action.query.syntax -
-
Uses of SActionQuery in net.sf.tweety.action.query.analysis
Methods in net.sf.tweety.action.query.analysis with parameters of type SActionQuery 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.Method parameters in net.sf.tweety.action.query.analysis with type arguments of type SActionQuery Modifier and Type Method 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. -
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 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 Description SActionQuery
SActionQuerySet. getConjunctionOfAllQueries()
Returns a conjunction of all contained queries.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 Description java.util.Set<SActionQuery>
SActionQuery. getAllGrounded()
Returns the set of all grounded instances of this causal rule.Constructor parameters in net.sf.tweety.action.query.syntax with type arguments of type SActionQuery Constructor Description SActionQuerySet(java.util.Collection<SActionQuery> c)
Creates a new belief set with the given collection of queries.
-