Package astra.term

Class AtIndex

java.lang.Object

astra.term.AtIndex

All Implemented Interfaces:

Term, Serializable

public class AtIndex
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
AtIndex(Term term, Term index, Type type)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
AtIndex	clone()
boolean	equals(Object object)
Term	index()
boolean	matches(Term right)
String	signature()
Term	term()
String	toString()
Type	type()

Methods inherited from class java.lang.Object

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

Constructor Details

AtIndex

public AtIndex(Term term, Term index, Type type)

Method Details

type

public Type type()

Specified by:

type in interface Term

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Term

matches

public boolean matches(Term right)

Specified by:

matches in interface Term

equals

public boolean equals(Object object)

Overrides:

equals in class Object

signature

public String signature()

Specified by:

signature in interface Term

clone

public AtIndex clone()

Specified by:

clone in interface Term

Overrides:

clone in class Object

term

public Term term()

index

public Term index()

toString

public String toString()

Overrides:

toString in class Object