Package org.tweetyproject.action.query.analysis

package org.tweetyproject.action.query.analysis

Class	Description
ActionQuerySatisfactionTester	Classes implementing this interface are capable of checking whether a transition system satisfies an action query.
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.