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