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

Interface Summary

Interface	Description
ActionQuerySatisfactionTester	Classes implementing this interface are capable of checking whether a transition system satisfies an action query.

Class Summary

Class	Description
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.