Package | Description |
---|---|
net.sf.tweety.action.query |
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 ; ...
|
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 ; ...
|