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