Uses of Class
net.sf.tweety.action.query.syntax.NecessarilyQuery

Packages that use NecessarilyQuery

Package	Description
net.sf.tweety.action.query

Uses of NecessarilyQuery in net.sf.tweety.action.query

Methods in net.sf.tweety.action.query that return NecessarilyQuery

Modifier and Type	Method and 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 with parameters of type NecessarilyQuery

Modifier and Type	Method and Description
private NecessarilyQuery	SActionQuerySatisfactionTester.getNecessarilyQueryMinusFirstAction(NecessarilyQuery q) For a given necessarily query of the form necessarily F after A_0 ; A_1 ; ...