zeus.concepts.fn
Class LogicalFn

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

Direct Known Subclasses:

BoolFn, ComparisonFn, LogicalAndFn, LogicalNotFn, LogicalOrFn

public abstract class LogicalFn

extends ValueFunction

Field Summary

static int	FALSE
static int	TRUE
static int	UNKNOWN

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

LogicalFn(int type)

LogicalFn(int type, int precedence)

Method Summary

int	baseID()
abstract int	evaluate()
(package private) ValueFunction	unify(ValueFunction fn, Bindings b)

Methods inherited from class zeus.concepts.fn.ValueFunction

duplicate, duplicate, evaluationFn, getArg, getArg, getID, getPD, invokeMethod, isDeterminate, mirror, normalize, references, resolve, resolve, simplify, unifiesWith, variables

Methods inherited from class java.lang.Object

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

Field Detail

TRUE

public static final int TRUE

See Also:

Constant Field Values

FALSE

public static final int FALSE

See Also:

Constant Field Values

UNKNOWN

public static final int UNKNOWN

See Also:

Constant Field Values

Constructor Detail

LogicalFn

public LogicalFn(int type,
                 int precedence)

LogicalFn

public LogicalFn(int type)

Method Detail

evaluate

public abstract int evaluate()

baseID

public int baseID()

Overrides:

baseID in class ValueFunction

unify

ValueFunction unify(ValueFunction fn,
                    Bindings b)

Specified by:

unify in class ValueFunction