Uses of Interface
org.tweetyproject.action.query.analysis.ActionQuerySatisfactionTester

Packages that use ActionQuerySatisfactionTester

Package	Description
org.tweetyproject.action.query.analysis

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

Classes in org.tweetyproject.action.query.analysis that implement ActionQuerySatisfactionTester

Modifier and Type	Class	Description
class	SActionQuerySatisfactionTester	This class provides methods capable of checking if a given transition system satisfies a set of action queries in the action query language S.