Package astra.term

Class Primitive<T>

java.lang.Object

astra.term.Primitive<T>

All Implemented Interfaces:

Term, Serializable

public class Primitive<T>
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
Primitive(Type type, T value)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
Primitive<T>	clone()
boolean	equals(Object object)
boolean	matches(Term term)
static <T> Primitive<T>	newPrimitive(T value)
String	signature()
String	toString()
Type	type()
T	value()

Methods inherited from class java.lang.Object

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

Constructor Details

Primitive

public Primitive(Type type, T value)

Method Details

type

public Type type()

Specified by:

type in interface Term

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Term

value

public T value()

newPrimitive

public static <T> Primitive<T> newPrimitive(T value)

toString

public String toString()

Overrides:

toString in class Object

matches

public boolean matches(Term term)

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 Primitive<T> clone()

Specified by:

clone in interface Term

Overrides:

clone in class Object