zeus.concepts.fn
Class BoolFn

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

All Implemented Interfaces:

PrimitiveFn

public class BoolFn

extends LogicalFn

implements PrimitiveFn

Field Summary

protected boolean	arg
static BoolFn	falseFn
static BoolFn	trueFn

Fields inherited from class zeus.concepts.fn.LogicalFn

FALSE, TRUE, 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

private

BoolFn(java.lang.String arg)

Method Summary

boolean	equals(java.lang.Object any)
int	evaluate()
(package private) java.lang.Object	getArg(int position)
boolean	getValue()
boolean	isDeterminate()
boolean	less(java.lang.Object fn)
ValueFunction	mirror()
static BoolFn	newBoolFn(boolean arg)
static BoolFn	newBoolFn(java.lang.String arg)
boolean	references(ValueFunction var)
java.lang.String	toString()

Methods inherited from class zeus.concepts.fn.LogicalFn

baseID, unify

Methods inherited from class zeus.concepts.fn.ValueFunction

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

Methods inherited from class java.lang.Object

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

Field Detail

arg

protected boolean arg

trueFn

public static final BoolFn trueFn

falseFn

public static final BoolFn falseFn

Constructor Detail

BoolFn

private BoolFn(java.lang.String arg)

Method Detail

newBoolFn

public static final BoolFn newBoolFn(boolean arg)

newBoolFn

public static final BoolFn newBoolFn(java.lang.String arg)

mirror

public ValueFunction mirror()

Specified by:

mirror in class ValueFunction

toString

public java.lang.String toString()

getArg

java.lang.Object getArg(int position)

Specified by:

getArg in class ValueFunction

getValue

public boolean getValue()

isDeterminate

public boolean isDeterminate()

Specified by:

isDeterminate in class ValueFunction

evaluate

public int evaluate()

Specified by:

evaluate in class LogicalFn

equals

public boolean equals(java.lang.Object any)

less

public boolean less(java.lang.Object fn)

Specified by:

less in interface PrimitiveFn

references

public boolean references(ValueFunction var)

Specified by:

references in class ValueFunction