Package astra.term

Class Operator

java.lang.Object

astra.term.Operator

All Implemented Interfaces:

Term, Serializable

public class Operator
extends Object
implements Term

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static char	DIVIDE
static char	MINUS
static char	MODULO
static char	MULTIPLY
static char	PLUS

Fields inherited from interface astra.term.Term

EMPTY_ARRAY, NULL_TERM

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Operator(char op, Type type, Term left, Term right)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
Operator	clone()
boolean	equals(Object object)
Term	left()
boolean	matches(Term term)
static Operator	newOperator(char op, Term left, Term right)
char	op()
Term	right()
String	signature()
String	toString()
String	toString(String indent)
Type	type()

Methods inherited from class java.lang.Object

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

Field Details

PLUS

public static final char PLUS

See Also:

Constant Field Values

MINUS

public static final char MINUS

See Also:

Constant Field Values

MULTIPLY

public static final char MULTIPLY

See Also:

Constant Field Values

DIVIDE

public static final char DIVIDE

See Also:

Constant Field Values

MODULO

public static final char MODULO

See Also:

Constant Field Values

Constructor Details

Operator

protected Operator(char op, Type type, Term left, Term right)

Method Details

newOperator

public static Operator newOperator(char op, Term left, Term right)

op

public char op()

left

public Term left()

right

public Term right()

type

public Type type()

Specified by:

type in interface Term

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Term

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(String indent)

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 Operator clone()

Specified by:

clone in interface Term

Overrides:

clone in class Object