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.