FolFluentName

java.lang.Object

org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

org.tweetyproject.logics.commons.syntax.Predicate

org.tweetyproject.action.signature.FolFluentName

All Implemented Interfaces:: Comparable<TypedStructureAdapter>, TypedStructure

public class FolFluentName extends Predicate

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(String name)

Creates a new folfluentname predicate with the given name and zero-arity.

FolFluentName(String name, int arity)

Creates a new folfluentname with the given name and arity.

FolFluentName(String name, 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

String

toString()

Methods inherited from class org.tweetyproject.logics.commons.syntax.Predicate
clone, equals, hashCode

Methods inherited from class org.tweetyproject.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

Constructor Details
- FolFluentName
  
  public FolFluentName(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(String name, 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(String name)
  
  Creates a new folfluentname predicate with the given name and zero-arity.
  
  Parameters:
  
  name - the name of this fluent name
Method Details
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class TypedStructureAdapter