| Package | Description |
|---|---|
| net.sf.tweety.action.query | |
| net.sf.tweety.action.query.parser | |
| net.sf.tweety.action.query.syntax |
| Class and Description |
|---|
| NecessarilyQuery
This class represents a necessarily query in the action query language S.
|
| QueryProposition
Action queries are represented as propositional formulas with three possible
types of propositions: holds, always and necessarily propositions.
|
| SActionQuery
This class represents a single action query in the action query language S,
which is based on the query language "P" discussed in the paper: Action
Languages.
|
| Class and Description |
|---|
| SActionQuery
This class represents a single action query in the action query language S,
which is based on the query language "P" discussed in the paper: Action
Languages.
|
| Class and Description |
|---|
| QueryProposition
Action queries are represented as propositional formulas with three possible
types of propositions: holds, always and necessarily propositions.
|
| SActionQuery
This class represents a single action query in the action query language S,
which is based on the query language "P" discussed in the paper: Action
Languages.
|