Package astra.term

Class Funct

java.lang.Object

astra.term.Funct

All Implemented Interfaces:

Term, Serializable

public class Funct
extends Object
implements Term

See Also:

Serialized Form

Field Summary

Fields inherited from interface astra.term.Term

EMPTY_ARRAY, NULL_TERM

Constructor Summary

Constructors

Constructor	Description
Funct(String predicate, Term[] terms)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
Funct	clone()
boolean	equals(Object object)
String	functor()
Term	getTerm(int i)
int	id()
boolean	matches(Term term)
void	set(int i, Term term)
String	signature()
int	size()
Term	termAt(int i)
Term[]	terms()
String	toString()
Type	type()

Methods inherited from class java.lang.Object

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

Constructor Details

Funct

public Funct(String predicate, Term[] terms)

Method Details

getTerm

public Term getTerm(int i)

size

public int size()

id

public int id()

terms

public Term[] terms()

toString

public String toString()

Overrides:

toString in class Object

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Term

functor

public String functor()

matches

public boolean matches(Term term)

Specified by:

matches in interface Term

equals

public boolean equals(Object object)

Overrides:

equals in class Object

termAt

public Term termAt(int i)

type

public Type type()

Specified by:

type in interface Term

signature

public String signature()

Specified by:

signature in interface Term

set

public void set(int i, Term term)

clone

public Funct clone()

Specified by:

clone in interface Term

Overrides:

clone in class Object