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

Packages that use ActionQuery

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

Uses of ActionQuery in net.sf.tweety.action

Classes in net.sf.tweety.action with type parameters of type ActionQuery

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

Method parameters in net.sf.tweety.action with type arguments of type ActionQuery

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

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

Method parameters in net.sf.tweety.action.query with type arguments of type ActionQuery

Modifier and Type	Method and Description
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 that implement ActionQuery

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