Package astra.formula

Class Comparison

java.lang.Object

astra.formula.Comparison

All Implemented Interfaces:

Formula, Serializable

public class Comparison
extends Object
implements Formula

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static String	EQUAL
static String	GREATER_THAN
static String	GREATER_THAN_OR_EQUAL
static String	LESS_THAN
static String	LESS_THAN_OR_EQUAL
static String	NOT_EQUAL
static String	OTHER_NOT_EQUAL

Constructor Summary

Constructors

Constructor	Description
Comparison(String operator, Term left, Term right)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
Term	left()
boolean	matches(Formula formula)
String	operator()
Term	right()
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

LESS_THAN

public static final String LESS_THAN

See Also:

Constant Field Values

GREATER_THAN

public static final String GREATER_THAN

See Also:

Constant Field Values

LESS_THAN_OR_EQUAL

public static final String LESS_THAN_OR_EQUAL

See Also:

Constant Field Values

GREATER_THAN_OR_EQUAL

public static final String GREATER_THAN_OR_EQUAL

See Also:

Constant Field Values

EQUAL

public static final String EQUAL

See Also:

Constant Field Values

NOT_EQUAL

public static final String NOT_EQUAL

See Also:

Constant Field Values

OTHER_NOT_EQUAL

public static final String OTHER_NOT_EQUAL

See Also:

Constant Field Values

Constructor Details

Comparison

public Comparison(String operator, Term left, Term right)

Method Details

operator

public String operator()

left

public Term left()

right

public Term right()

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Formula

toString

public String toString()

Overrides:

toString in class Object

matches

public boolean matches(Formula formula)

Specified by:

matches in interface Formula