FolFluentName

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

All Implemented Interfaces:

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

Author:

Sebastian Homann

Constructor Summary

Constructors
Constructor	Description
`FolFluentName(java.lang.String name)`	Creates a new folfluentname predicate with the given name and zero-arity.
`FolFluentName(java.lang.String name, int arity)`	Creates a new folfluentname with the given name and arity.
`FolFluentName(java.lang.String name, java.util.List<Sort> arguments)`	Creates a new fluentname 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.FluentName
  getName

- Constructor Detail
  - FolFluentName
```
public FolFluentName(java.lang.String name,
                     int arity)
```
    Creates a new folfluentname with the given name and arity.
    
    Parameters:
    
    name - the name of this fluent name
    
    arity - the number of arguments of this fluent name
  - FolFluentName
```
public FolFluentName(java.lang.String name,
                     java.util.List<Sort> arguments)
```
    Creates a new fluentname 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 - the name of this fluent name
    
    arguments - a list of arguments
  - FolFluentName
```
public FolFluentName(java.lang.String name)
```
    Creates a new folfluentname predicate with the given name and zero-arity.
    
    Parameters:
    
    name - the name of this fluent name
- Method Detail
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class TypedStructureAdapter