Uses of Interface
net.sf.tweety.action.query.analysis.ActionQuerySatisfactionTester

Packages that use ActionQuerySatisfactionTester

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

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

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