FolActionName

java.lang.Object
- net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
- - net.sf.tweety.logics.commons.syntax.Predicate
  - - net.sf.tweety.action.signature.FolActionName

All Implemented Interfaces:

java.lang.Comparable<TypedStructureAdapter>, ActionName, TypedStructure
```
public class FolActionName
extends Predicate
implements ActionName
```
This class represents an action name. It is implemented as a fol predicate to allow for easy grounding of action descriptions.

Author:

Sebastian Homann

Constructor Summary

Constructors
Constructor	Description
`FolActionName(java.lang.String name)`	Creates a new action name predicate with the given name and zero-arity.
`FolActionName(java.lang.String name, int arity)`	Creates a new actionname predicate with the given name and arity.
`FolActionName(java.lang.String name, java.util.List<Sort> arguments)`	Creates a new actionname predicate with the given name and a list of argument sorts, whose element count equals the arity of this predicate.

Method Summary

Modifier and Type Method Description

java.lang.String toString()
- Methods inherited from class net.sf.tweety.logics.commons.syntax.Predicate
  clone, equals, hashCode
- Methods inherited from class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
  addArgumentType, compareTo, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setName
- Methods inherited from class java.lang.Object
  getClass, notify, notifyAll, wait, wait, wait
- Methods inherited from interface net.sf.tweety.action.signature.ActionName
  getName

- Constructor Detail
  - FolActionName
```
public FolActionName(java.lang.String name,
                     int arity)
```
    Creates a new actionname predicate with the given name and arity.
    
    Parameters:
    
    name - the name of the action
    
    arity - the arity of the action
  - FolActionName
```
public FolActionName(java.lang.String name,
                     java.util.List<Sort> arguments)
```
    Creates a new actionname predicate with the given name and a list of argument sorts, whose element count equals the arity of this predicate. These arguments are used for grounding.
    
    Parameters:
    
    name - a name
    
    arguments - a list of arguments (either variables or constants)
  - FolActionName
```
public FolActionName(java.lang.String name)
```
    Creates a new action name predicate with the given name and zero-arity.
    
    Parameters:
    
    name - a name
- Method Detail
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class TypedStructureAdapter