zeus.concepts.fn
Class VectorFn

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

public class VectorFn

extends ValueFunction

Field Summary

(package private) static int	ADD_ELEMENT
protected java.lang.Object	args
(package private) static int	CONTAINS_ELEMENT
(package private) static int	DIFFERENCE
(package private) static int	ELEMENT_AT
(package private) static int	FIRST_ELEMENT
(package private) static int	INSERT_ELEMENT_AT
(package private) static int	INTERSECTION
(package private) static int	IS_EMPTY
(package private) static int	LAST_ELEMENT
(package private) static java.lang.String[]	METHOD_LIST
(package private) static int	REMOVE_ALL_ELEMENTS
(package private) static int	REMOVE_ELEMENT
(package private) static int	REMOVE_ELEMENT_AT
(package private) static int	SET_ELEMENT_AT
(package private) static int	SIZE
(package private) static int	UNION

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, OR, PD_MAX, PD_MIN, precedence, REAL, TIME, TO_STRING, type, TYPE, VECT

Constructor Summary

VectorFn(java.util.Vector items)

Method Summary

ValueFunction	duplicate(DuplicationTable table)
boolean	equals(java.lang.Object any)
(package private) java.lang.Object	getArg(int position)
(package private) ValueFunction	invokeMethod(java.lang.String method, java.util.Vector arguments)
boolean	isDeterminate()
ValueFunction	mirror()
(package private) ValueFunction	normalize()
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, resolve, unifiesWith

Methods inherited from class java.lang.Object

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

Field Detail

args

protected java.lang.Object args

METHOD_LIST

static final java.lang.String[] METHOD_LIST

ELEMENT_AT

static final int ELEMENT_AT

See Also:

Constant Field Values

SET_ELEMENT_AT

static final int SET_ELEMENT_AT

See Also:

Constant Field Values

INSERT_ELEMENT_AT

static final int INSERT_ELEMENT_AT

See Also:

Constant Field Values

ADD_ELEMENT

static final int ADD_ELEMENT

See Also:

Constant Field Values

REMOVE_ELEMENT

static final int REMOVE_ELEMENT

See Also:

Constant Field Values

REMOVE_ELEMENT_AT

static final int REMOVE_ELEMENT_AT

See Also:

Constant Field Values

REMOVE_ALL_ELEMENTS

static final int REMOVE_ALL_ELEMENTS

See Also:

Constant Field Values

CONTAINS_ELEMENT

static final int CONTAINS_ELEMENT

See Also:

Constant Field Values

IS_EMPTY

static final int IS_EMPTY

See Also:

Constant Field Values

SIZE

static final int SIZE

See Also:

Constant Field Values

FIRST_ELEMENT

static final int FIRST_ELEMENT

See Also:

Constant Field Values

LAST_ELEMENT

static final int LAST_ELEMENT

See Also:

Constant Field Values

UNION

static final int UNION

See Also:

Constant Field Values

INTERSECTION

static final int INTERSECTION

See Also:

Constant Field Values

DIFFERENCE

static final int DIFFERENCE

See Also:

Constant Field Values

Constructor Detail

VectorFn

public VectorFn(java.util.Vector items)

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

duplicate

public ValueFunction duplicate(DuplicationTable table)

Overrides:

duplicate in class ValueFunction

equals

public boolean equals(java.lang.Object any)

unify

ValueFunction unify(ValueFunction fn,
                    Bindings b)

Specified by:

unify in class ValueFunction

invokeMethod

ValueFunction invokeMethod(java.lang.String method,
                           java.util.Vector arguments)

Overrides:

invokeMethod in class ValueFunction