Package org.tweetyproject.action.signature

Class FolActionName

java.lang.Object

org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

org.tweetyproject.logics.commons.syntax.Predicate

org.tweetyproject.action.signature.FolActionName

All Implemented Interfaces:

Comparable<TypedStructureAdapter>, TypedStructure

public class FolActionName
extends Predicate

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<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 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

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<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 Details

toString

public String toString()

Overrides:

toString in class TypedStructureAdapter