Uses of Class
org.tweetyproject.action.query.syntax.SActionQuery
Packages that use SActionQuery
-
Uses of SActionQuery in org.tweetyproject.action.query.parser
Subclasses with type arguments of type SActionQuery in org.tweetyproject.action.query.parserModifier and TypeClassDescriptionclass
This class implements a parser for action queries in S.Methods in org.tweetyproject.action.query.parser that return SActionQueryModifier and TypeMethodDescriptionActionQueryParser.parseFormula
(Reader reader) Parses a single formula from the given reader. -
Uses of SActionQuery in org.tweetyproject.action.query.syntax
Subclasses with type arguments of type SActionQuery in org.tweetyproject.action.query.syntaxModifier and TypeClassDescriptionclass
This class models a set of action queries in the language "S" which is based on the query language "P" discussed in the paper: [Gelfond, Michael and Lifschitz, Vladimir: Action Languages.Methods in org.tweetyproject.action.query.syntax that return SActionQueryModifier and TypeMethodDescriptionSActionQuerySet.getConjunctionOfAllQueries()
Returns a conjunction of all contained queries.Methods in org.tweetyproject.action.query.syntax that return types with arguments of type SActionQueryModifier and TypeMethodDescriptionSActionQuery.getAllGrounded()
Retrieves the set of all grounded instances of this action query.Constructor parameters in org.tweetyproject.action.query.syntax with type arguments of type SActionQueryModifierConstructorDescriptionCreates a new belief set with the given collection of queries.