zeus.concepts.fn
Class ValueFunction

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

Direct Known Subclasses:

AndFn, ArithmeticFn, ConstraintBFn, ConstraintFn, DateFn, DefinedFn, ElseFn, FactFn, FieldFn, IdFn, ImplyFn, IntFn, LogicalFn, MethodCallFn, OrFn, RealFn, TimeFn, TypeFn, VarFn, VectorFn

public abstract class ValueFunction

extends java.lang.Object

Field Summary

static int	AND
static int	ARITH
static int	BOOL
static int	COMP
static int	CONS
static int	CONSB
static int	DATE
static int	ELSE
static int	FACT
static int	FIELD
static int	FUNC
static int	ID
(package private) static int	ID_MAX
(package private) static int	ID_MIN
static int	IMPLY
static int	INT
(package private) static int	IS_DETERMINATE
static int	LAND
static int	LNOT
static int	LOR
static int	LVAR
static int	METH
(package private) static java.lang.String[]	METHOD_LIST
static int	OR
(package private) static int	PD_MAX
(package private) static int	PD_MIN
protected int	precedence
static int	REAL
static int	TIME
(package private) static int	TO_STRING
protected int	type
static int	TYPE
static int	VECT

Constructor Summary

ValueFunction(int type, int precedence)

Method Summary

int	baseID()
ValueFunction	duplicate(DuplicationTable table)
ValueFunction	duplicate(java.lang.String name, GenSym genSym)
ValueFunction	evaluationFn()
(package private) java.lang.Object	getArg()
(package private) abstract java.lang.Object	getArg(int position)
int	getID()
int	getPD()
(package private) ValueFunction	invokeMethod(java.lang.String method, java.util.Vector args)
abstract boolean	isDeterminate()
abstract ValueFunction	mirror()
(package private) ValueFunction	normalize()
abstract boolean	references(ValueFunction var)
ValueFunction	resolve(Bindings b)
ValueFunction	resolve(ResolutionContext c, Bindings b)
(package private) ValueFunction	simplify()
ValueFunction	unifiesWith(ValueFunction fn, Bindings b)
(package private) abstract ValueFunction	unify(ValueFunction fn, Bindings b)
java.util.Vector	variables()

Methods inherited from class java.lang.Object

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

Field Detail

ID_MIN

static final int ID_MIN

See Also:

Constant Field Values

ID_MAX

static final int ID_MAX

See Also:

Constant Field Values

CONSB

public static final int CONSB

See Also:

Constant Field Values

LVAR

public static final int LVAR

See Also:

Constant Field Values

ID

public static final int ID

See Also:

Constant Field Values

TYPE

public static final int TYPE

See Also:

Constant Field Values

FIELD

public static final int FIELD

See Also:

Constant Field Values

AND

public static final int AND

See Also:

Constant Field Values

OR

public static final int OR

See Also:

Constant Field Values

CONS

public static final int CONS

See Also:

Constant Field Values

IMPLY

public static final int IMPLY

See Also:

Constant Field Values

ELSE

public static final int ELSE

See Also:

Constant Field Values

LOR

public static final int LOR

See Also:

Constant Field Values

LAND

public static final int LAND

See Also:

Constant Field Values

LNOT

public static final int LNOT

See Also:

Constant Field Values

COMP

public static final int COMP

See Also:

Constant Field Values

INT

public static final int INT

See Also:

Constant Field Values

REAL

public static final int REAL

See Also:

Constant Field Values

DATE

public static final int DATE

See Also:

Constant Field Values

TIME

public static final int TIME

See Also:

Constant Field Values

BOOL

public static final int BOOL

See Also:

Constant Field Values

ARITH

public static final int ARITH

See Also:

Constant Field Values

FACT

public static final int FACT

See Also:

Constant Field Values

FUNC

public static final int FUNC

See Also:

Constant Field Values

METH

public static final int METH

See Also:

Constant Field Values

VECT

public static final int VECT

See Also:

Constant Field Values

PD_MIN

static final int PD_MIN

See Also:

Constant Field Values

PD_MAX

static final int PD_MAX

See Also:

Constant Field Values

type

protected int type

precedence

protected int precedence

METHOD_LIST

static final java.lang.String[] METHOD_LIST

IS_DETERMINATE

static final int IS_DETERMINATE

See Also:

Constant Field Values

TO_STRING

static final int TO_STRING

See Also:

Constant Field Values

Constructor Detail

ValueFunction

public ValueFunction(int type,
                     int precedence)

Method Detail

getID

public final int getID()

getPD

public final int getPD()

isDeterminate

public abstract boolean isDeterminate()

references

public abstract boolean references(ValueFunction var)

unifiesWith

public final ValueFunction unifiesWith(ValueFunction fn,
                                       Bindings b)

resolve

public ValueFunction resolve(Bindings b)

resolve

public ValueFunction resolve(ResolutionContext c,
                             Bindings b)

variables

public java.util.Vector variables()

duplicate

public ValueFunction duplicate(java.lang.String name,
                               GenSym genSym)

duplicate

public ValueFunction duplicate(DuplicationTable table)

evaluationFn

public ValueFunction evaluationFn()

baseID

public int baseID()

getArg

abstract java.lang.Object getArg(int position)

unify

abstract ValueFunction unify(ValueFunction fn,
                             Bindings b)

mirror

public abstract ValueFunction mirror()

normalize

ValueFunction normalize()

simplify

ValueFunction simplify()

getArg

final java.lang.Object getArg()

invokeMethod

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