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.
|