Uses of Interface
org.tweetyproject.action.query.analysis.ActionQuerySatisfactionTester
-
Packages that use ActionQuerySatisfactionTester Package Description org.tweetyproject.action.query.analysis -
-
Uses of ActionQuerySatisfactionTester in org.tweetyproject.action.query.analysis
Classes in org.tweetyproject.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.
-