zeus.concepts.fn
Class ConstraintBFn

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

public class ConstraintBFn

extends ValueFunction

Field Summary

protected java.lang.Object[]	args
(package private) static java.lang.String[]	FUNCTIONS
(package private) static int	NONVAR
protected int	position
(package private) static int	VAR

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

ConstraintBFn(ValueFunction fn, java.lang.String lhs, java.util.Vector rhs)

Method Summary

ValueFunction	duplicate(DuplicationTable table)
boolean	equals(java.lang.Object any)
(package private) java.lang.Object	getArg(int position)
boolean	isDeterminate()
ValueFunction	mirror()
(package private) ValueFunction	normalize()
protected boolean	onlyEvaluateIfDeterminate()
boolean	references(ValueFunction var)
ValueFunction	resolve(ResolutionContext c, Bindings b)
(package private) ValueFunction	simplify()
java.lang.String	toString()
(package private) ValueFunction	unify(ValueFunction fn, Bindings b)
java.util.Vector	variables()

Methods inherited from class zeus.concepts.fn.ValueFunction

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

Methods inherited from class java.lang.Object

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

Field Detail

NONVAR

static final int NONVAR

See Also:

Constant Field Values

VAR

static final int VAR

See Also:

Constant Field Values

FUNCTIONS

static final java.lang.String[] FUNCTIONS

args

protected java.lang.Object[] args

position

protected int position

Constructor Detail

ConstraintBFn

public ConstraintBFn(ValueFunction fn,
                     java.lang.String lhs,
                     java.util.Vector rhs)

Method Detail

mirror

public ValueFunction mirror()

Specified by:

mirror in class ValueFunction

toString

public java.lang.String toString()

simplify

ValueFunction simplify()

Overrides:

simplify in class ValueFunction

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

normalize

ValueFunction normalize()

Overrides:

normalize in class ValueFunction

resolve

public ValueFunction resolve(ResolutionContext c,
                             Bindings b)

Overrides:

resolve in class ValueFunction

onlyEvaluateIfDeterminate

protected final boolean onlyEvaluateIfDeterminate()

unify

ValueFunction unify(ValueFunction fn,
                    Bindings b)

Specified by:

unify in class ValueFunction

duplicate

public ValueFunction duplicate(DuplicationTable table)

Overrides:

duplicate in class ValueFunction

equals

public boolean equals(java.lang.Object any)