Uses of Interface
org.tweetyproject.action.query.syntax.ActionQuery

Packages that use ActionQuery

Package	Description
org.tweetyproject.action.query.analysis
org.tweetyproject.action.query.syntax

Uses of ActionQuery in org.tweetyproject.action.query.analysis

Method parameters in org.tweetyproject.action.query.analysis with type arguments of type ActionQuery

Modifier and Type	Method	Description
boolean	ActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, java.util.Set<ActionQuery> actionQuery)	Checks whether the given transition system satisfies the given action queries.
boolean	SActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem, java.util.Set<ActionQuery> actionQueries)

Uses of ActionQuery in org.tweetyproject.action.query.syntax

Classes in org.tweetyproject.action.query.syntax with type parameters of type ActionQuery

Modifier and Type	Class	Description
class	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.

Classes in org.tweetyproject.action.query.syntax that implement ActionQuery

Modifier and Type	Class	Description
class	SActionQuery	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.