Uses of Interface
net.sf.tweety.action.query.syntax.ActionQuery

Packages that use ActionQuery

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

Uses of ActionQuery in net.sf.tweety.action.query.analysis

Method parameters in net.sf.tweety.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 net.sf.tweety.action.query.syntax

Classes in net.sf.tweety.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 net.sf.tweety.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.