Package | Description |
---|---|
net.sf.tweety.action.query.analysis | |
net.sf.tweety.action.query.parser | |
net.sf.tweety.action.query.syntax |
Class and Description |
---|
ActionQuery
This is a basic interface for action queries.
|
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.
|
SActionQuerySet
This class models a set of action queries in the language S which is based on
the query language "P" discussed in the paper: Action Languages.
|
Class and Description |
---|
ActionQuery
This is a basic interface for action queries.
|
ActionQuerySet
An Action Query Set consists of action queries in a specific query language
and provides some common functionalities for such queries.
|
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.
|
SActionQuerySet
This class models a set of action queries in the language S which is based on
the query language "P" discussed in the paper: Action Languages.
|