FolActionName (Tweety (Action and Change) 1.17 API)

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:

Comparable<net.sf.tweety.logics.commons.syntax.TypedStructureAdapter>, ActionName, net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
```
public class FolActionName
extends net.sf.tweety.logics.commons.syntax.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(String name)`	Creates a new action name predicate with the given name and zero-arity.
`FolActionName(String name, int arity)`	Creates a new actionname predicate with the given name and arity.
`FolActionName(String name, List<net.sf.tweety.logics.commons.syntax.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

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, copyArgumentTypes, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setName
- Methods inherited from class java.lang.Object
  finalize, getClass, notify, notifyAll, wait, wait, wait
- Methods inherited from interface net.sf.tweety.action.signature.ActionName
  getName

- Constructor Detail
  - FolActionName
```
public FolActionName(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(String name,
                     List<net.sf.tweety.logics.commons.syntax.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(String name)
```
    Creates a new action name predicate with the given name and zero-arity.
    
    Parameters:
    
    name - a name
- Method Detail
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter