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