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 and 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.