Package astra.term

Class Variable

java.lang.Object

astra.term.Variable

All Implemented Interfaces:

Term, Serializable

public class Variable
extends Object
implements Term

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static StringMapper	mapper

Fields inherited from interface astra.term.Term

EMPTY_ARRAY, NULL_TERM

Constructor Summary

Constructors

Constructor	Description
Variable(Type type, int key)
Variable(Type type, String name)
Variable(Type type, String name, boolean returns)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
Variable	clone()
int	id()
String	identifier()
boolean	matches(Term right)
boolean	returns()
String	signature()
String	toString()
Type	type()

Methods inherited from class java.lang.Object

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

Field Details

mapper

public static StringMapper mapper

Constructor Details

Variable

public Variable(Type type, String name)

Variable

public Variable(Type type, String name, boolean returns)

Variable

public Variable(Type type, int key)

Method Details

type

public Type type()

Specified by:

type in interface Term

id

public int id()

identifier

public String identifier()

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Term

toString

public String toString()

Overrides:

toString in class Object

matches

public boolean matches(Term right)

Specified by:

matches in interface Term

returns

public boolean returns()

signature

public String signature()

Specified by:

signature in interface Term

clone

public Variable clone()

Specified by:

clone in interface Term

Overrides:

clone in class Object