Uses of Class
net.sf.tweety.action.signature.FolActionName
-
Packages that use FolActionName Package Description net.sf.tweety.action.signature -
-
Uses of FolActionName in net.sf.tweety.action.signature
Methods in net.sf.tweety.action.signature that return FolActionName Modifier and Type Method Description FolActionName
ActionSignature. getActionName(java.lang.String action)
Returns the action 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 FolActionName Modifier and Type Method Description java.util.Set<FolActionName>
ActionSignature. getActionNames()
Returns the set of action names contained in this action signature.Methods in net.sf.tweety.action.signature with parameters of type FolActionName Modifier and Type Method Description boolean
ActionSignature. containsActionName(FolActionName actionName)
Returns true iff the given actionName is contained in this signature.
-