zeus.concepts.fn
Class ConstraintFn

java.lang.Object
  zeus.concepts.fn.ValueFunction
      zeus.concepts.fn.ConstraintFn

public class ConstraintFn

extends ValueFunction

note: changed some accesses for 1.2.1 so that I could infer contents for precondition unification bug fixes

Field Summary

ValueFunction	arg
(package private) static int	GE
(package private) static int	GT
(package private) static int	LE
(package private) static int	LT
(package private) static int	NE
protected int	op
static java.lang.String[]	operators
(package private) static int	UN

Fields inherited from class zeus.concepts.fn.ValueFunction

AND, ARITH, BOOL, COMP, CONS, CONSB, DATE, ELSE, FACT, FIELD, FUNC, ID, ID_MAX, ID_MIN, IMPLY, INT, IS_DETERMINATE, LAND, LNOT, LOR, LVAR, METH, METHOD_LIST, OR, PD_MAX, PD_MIN, precedence, REAL, TIME, TO_STRING, type, TYPE, VECT

Constructor Summary

ConstraintFn(java.lang.String operator, ValueFunction arg)

Method Summary

int	baseID()
(package private) static ValueFunction	checkRange(ConstraintFn a, ConstraintFn b)
(package private) static ValueFunction	compare(ConstraintFn a, PrimitiveFn b)
ValueFunction	duplicate(DuplicationTable table)
boolean	equals(java.lang.Object any)
(package private) java.lang.Object	getArg(int position)
int	getOperator()
boolean	isDeterminate()
ValueFunction	mirror()
(package private) ValueFunction	normalize()
boolean	references(ValueFunction var)
ValueFunction	resolve(ResolutionContext c, Bindings b)
java.lang.String	toString()
(package private) ValueFunction	unify(ValueFunction fn, Bindings b)
java.util.Vector	variables()

Methods inherited from class zeus.concepts.fn.ValueFunction

duplicate, evaluationFn, getArg, getID, getPD, invokeMethod, resolve, simplify, unifiesWith

Methods inherited from class java.lang.Object

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

Field Detail

LE

static final int LE

See Also:

Constant Field Values

LT

static final int LT

See Also:

Constant Field Values

GE

static final int GE

See Also:

Constant Field Values

GT

static final int GT

See Also:

Constant Field Values

UN

static final int UN

See Also:

Constant Field Values

NE

static final int NE

See Also:

Constant Field Values

operators

public static final java.lang.String[] operators

arg

public ValueFunction arg

op

protected int op

Constructor Detail

ConstraintFn

public ConstraintFn(java.lang.String operator,
                    ValueFunction arg)

Method Detail

toString

public java.lang.String toString()

getOperator

public int getOperator()

getArg

java.lang.Object getArg(int position)

Specified by:

getArg in class ValueFunction

references

public boolean references(ValueFunction var)

Specified by:

references in class ValueFunction

variables

public java.util.Vector variables()

Overrides:

variables in class ValueFunction

isDeterminate

public boolean isDeterminate()

Specified by:

isDeterminate in class ValueFunction

resolve

public ValueFunction resolve(ResolutionContext c,
                             Bindings b)

Overrides:

resolve in class ValueFunction

duplicate

public ValueFunction duplicate(DuplicationTable table)

Overrides:

duplicate in class ValueFunction

mirror

public ValueFunction mirror()

Specified by:

mirror in class ValueFunction

normalize

ValueFunction normalize()

Overrides:

normalize in class ValueFunction

equals

public boolean equals(java.lang.Object any)

unify

ValueFunction unify(ValueFunction fn,
                    Bindings b)

Specified by:

unify in class ValueFunction

baseID

public int baseID()

Overrides:

baseID in class ValueFunction

compare

static ValueFunction compare(ConstraintFn a,
                             PrimitiveFn b)

checkRange

static ValueFunction checkRange(ConstraintFn a,
                                ConstraintFn b)