Uses of Class
net.sf.tweety.action.query.syntax.NecessarilyQuery
-
Packages that use NecessarilyQuery Package Description net.sf.tweety.action.query.analysis -
-
Uses of NecessarilyQuery in net.sf.tweety.action.query.analysis
Methods in net.sf.tweety.action.query.analysis that return NecessarilyQuery Modifier and Type Method Description private NecessarilyQuery
SActionQuerySatisfactionTester. getNecessarilyQueryMinusFirstAction(NecessarilyQuery q)
For a given necessarily query of the form necessarily F after A_0 ; A_1 ; ...Methods in net.sf.tweety.action.query.analysis with parameters of type NecessarilyQuery Modifier and Type Method Description private NecessarilyQuery
SActionQuerySatisfactionTester. getNecessarilyQueryMinusFirstAction(NecessarilyQuery q)
For a given necessarily query of the form necessarily F after A_0 ; A_1 ; ...
-