zeus.concepts.fn
Class TypeFn

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

All Implemented Interfaces:

PrimitiveFn

public class TypeFn

extends ValueFunction

implements PrimitiveFn

Field Summary

protected java.lang.String

arg

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

TypeFn(java.lang.String arg)

Method Summary

ValueFunction	duplicate(DuplicationTable table)
boolean	equals(java.lang.Object any)
(package private) java.lang.Object	getArg(int position)
(package private) java.lang.String	getBase()
boolean	isDeterminate()
boolean	less(java.lang.Object fn)
ValueFunction	mirror()
boolean	references(ValueFunction var)
java.lang.String	toString()
(package private) ValueFunction	unify(ValueFunction fn, Bindings b)

Methods inherited from class zeus.concepts.fn.ValueFunction

baseID, 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 java.lang.String arg

Constructor Detail

TypeFn

public TypeFn(java.lang.String arg)

Method Detail

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

getBase

java.lang.String getBase()

duplicate

public ValueFunction duplicate(DuplicationTable table)

Overrides:

duplicate in class ValueFunction

references

public boolean references(ValueFunction var)

Specified by:

references in class ValueFunction

isDeterminate

public boolean isDeterminate()

Specified by:

isDeterminate in class ValueFunction

equals

public boolean equals(java.lang.Object any)

less

public boolean less(java.lang.Object fn)

Specified by:

less in interface PrimitiveFn

unify

ValueFunction unify(ValueFunction fn,
                    Bindings b)

Specified by:

unify in class ValueFunction