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