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