Uses of Interface
org.tweetyproject.action.query.syntax.ActionQuery
-
Uses of ActionQuery in org.tweetyproject.action.query.analysis
Modifier and TypeMethodDescriptionboolean
ActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, Set<ActionQuery> actionQuery)
Checks whether the given transition system satisfies the given action queries.boolean
SActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, Set<ActionQuery> actionQueries)
-
Uses of ActionQuery in org.tweetyproject.action.query.syntax
Modifier and TypeClassDescriptionclass
ActionQuerySet<T extends ActionQuery>
An Action Query Set consists of action queries in a specific query language and provides some common functionalities for such queries.Modifier and TypeClassDescriptionclass
This class represents a single action query in the action query language S, which is based on the query language "P" discussed in the paper: Action Languages.