Package | Description |
---|---|
net.sf.tweety.action.query.analysis | |
net.sf.tweety.action.query.syntax |
Modifier and Type | Method and Description |
---|---|
private java.util.Set<QueryProposition> |
SActionQuerySatisfactionTester.getQueryPropositions(SActionQuery query)
Calculates the set of all query propositions which appear in the given
query.
|
Modifier and Type | Method and Description |
---|---|
private java.lang.String |
SActionQuerySatisfactionTester.getQueryPropositionPartRules(QueryProposition queryProposition)
Calculatesthe translation of a query proposition (holds, always,
necessarily) to rules of a normal logic program.
|
Modifier and Type | Class and Description |
---|---|
class |
AlwaysQuery
This class represents an always query in the action query language S.
|
class |
HoldsQuery
This class represents a holds query in the action query language S.
|
class |
NecessarilyQuery
This class represents a necessarily query in the action query language S.
|
Modifier and Type | Method and Description |
---|---|
abstract QueryProposition |
QueryProposition.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
Returns a new query proposition of the same type, in which all variables in
inner formulas and actions are replaced according to the given map.
|
QueryProposition |
AlwaysQuery.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) |
QueryProposition |
NecessarilyQuery.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) |
QueryProposition |
HoldsQuery.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) |