Package | Description |
---|---|
net.sf.tweety.action.query.parser | |
net.sf.tweety.action.query.syntax | |
net.sf.tweety.action.signature | |
net.sf.tweety.action.transitionsystem |
Modifier and Type | Method and Description |
---|---|
private FolAction |
ActionQueryParser.parseAction(java.util.List<java.lang.Object> l)
Parses a list of actionnames or a list of actions.
|
Modifier and Type | Field and Description |
---|---|
private java.util.List<FolAction> |
NecessarilyQuery.actions |
Modifier and Type | Method and Description |
---|---|
java.util.List<FolAction> |
NecessarilyQuery.getActions()
Returns the list of actions of this necessarily query in the correct order.
|
abstract java.util.Set<FolAction> |
QueryProposition.getInnerActions()
Returns the set of all actions contained in this query proposition.
|
java.util.Set<FolAction> |
AlwaysQuery.getInnerActions() |
java.util.Set<FolAction> |
SActionQuery.getInnerActions()
Returns all actions, which occur in action sequences in necessarily
queries in this action query.
|
java.util.Set<FolAction> |
NecessarilyQuery.getInnerActions() |
java.util.Set<FolAction> |
HoldsQuery.getInnerActions() |
Constructor and Description |
---|
NecessarilyQuery(FolFormula formula,
FolAction action)
Creates a new necessarily query with the given inner formula and a single
action.
|
Constructor and Description |
---|
NecessarilyQuery(FolFormula formula,
java.util.List<FolAction> actions)
Creates a new necessarily query with the given inner formula and list of
actions.
|
Modifier and Type | Method and Description |
---|---|
FolAction |
FolAction.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
Substitutes terms in all non-zero-arity atoms in this action according to
the given map.
|
Modifier and Type | Field and Description |
---|---|
private FolAction |
Transition.action |
Modifier and Type | Method and Description |
---|---|
FolAction |
Transition.getAction()
Returns the action that causes this transition.
|
Constructor and Description |
---|
Transition(State from,
FolAction action,
State to)
Creates a new transition with the given parameters.
|