Class Functor

java.lang.Object

org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

org.tweetyproject.logics.commons.syntax.Functor

All Implemented Interfaces:

Comparable<TypedStructureAdapter>, TypedStructure

public class Functor
extends TypedStructureAdapter

A functor for logic language, i.e. an identifier for functional terms.

Author:

Matthias Thimm, Tim Janus

Constructor Summary

Constructors

Constructor	Description
Functor(String name)	Initializes a functor of arity zero with the given name; the target sort is initialized to Sort.THING.
Functor(String name, int arity)	Initializes a functor with the given name and of the given arity.
Functor(String name, List<Sort> arguments, Sort targetSort)	Initializes a functor with the given name, the given list of argument sorts, and the given target sort.

Method Summary

Modifier and Type	Method	Description
Functor	clone()	Creates a deep copy of this object
boolean	equals(Object obj)
Sort	getTargetSort()	Returns the sort of this functor
int	hashCode()
String	toString()

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

Functor

public Functor(String name)

Initializes a functor of arity zero with the given name; the target sort is initialized to Sort.THING.

Parameters:

name - the name of the functor

Functor

public Functor(String name,
 int arity)

Initializes a functor with the given name and of the given arity. Every argument and the target gets the sort Sort.THING.

Parameters:

name - the name of the functor

arity - the arity of the functor

Functor

public Functor(String name,
 List<Sort> arguments,
 Sort targetSort)

Initializes a functor with the given name, the given list of argument sorts, and the given target sort.

Parameters:

name - the name of the functor

arguments - the sorts of the arguments

targetSort - the sort of the range

Method Details

getTargetSort

public Sort getTargetSort()

Returns the sort of this functor

Returns:

the sort of this functor

hashCode

public int hashCode()

Overrides:

hashCode in class TypedStructureAdapter

equals

public boolean equals(Object obj)

Overrides:

equals in class TypedStructureAdapter

toString

public String toString()

Overrides:

toString in class TypedStructureAdapter

clone

public Functor clone()

Description copied from interface: TypedStructure

Creates a deep copy of this object

Specified by:

clone in interface TypedStructure

Specified by:

clone in class TypedStructureAdapter

Returns:

A deep copy of this object