Package net.sf.tweety.logics.commons.syntax

Class Functor

java.lang.Object

net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

net.sf.tweety.logics.commons.syntax.Functor

All Implemented Interfaces:

java.lang.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

Field Summary

Fields

Modifier and Type	Field	Description
private Sort	targetSort	The sort of a functional term using this functor

Constructor Summary

Constructors

Constructor	Description
Functor(java.lang.String name)	Initializes a functor of arity zero with the given name; the target sort is initialized to Sort.THING.
Functor(java.lang.String name, int arity)	Initializes a functor with the given name and of the given arity.
Functor(java.lang.String name, java.util.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(java.lang.Object obj)
Sort	getTargetSort()	Returns the sort of this functor
int	hashCode()

Methods inherited from class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

addArgumentType, compareTo, copyArgumentTypes, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setName, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

targetSort

private Sort targetSort

The sort of a functional term using this functor

Constructor Detail

Functor

public Functor(java.lang.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(java.lang.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(java.lang.String name,
               java.util.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 Detail

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(java.lang.Object obj)

Overrides:

equals 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