org.jpc.term

Class Functor

java.lang.Object

org.jpc.term.Functor

public class Functor
extends Object

Constructor Summary

Constructors

Constructor and Description
Functor(String name, int arity)
Functor(Term name, int arity)

Method Summary

Modifier and Type	Method and Description
Term	asTerm()
boolean	equals(Object obj)
int	getArity()
Term	getName()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Functor

public Functor(String name,
               int arity)

Functor

public Functor(Term name,
               int arity)

Method Detail

getName

public Term getName()

getArity

public int getArity()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

asTerm

public Term asTerm()