| Package | Description |
|---|---|
| net.sf.tweety.action.signature |
| Modifier and Type | Method and Description |
|---|---|
FolActionName |
ActionSignature.getActionName(java.lang.String action)
Returns the action name predicate with the given name if one exists, null
otherwise.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<FolActionName> |
ActionSignature.getActionNames()
Returns the set of action names contained in this action signature.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
ActionSignature.containsActionName(FolActionName actionName)
Returns true iff the given actionName is contained in this signature.
|