zeus.concepts.fn
Class AndFn

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

public class AndFn

extends ValueFunction

Field Summary

protected ValueFunction[]

args

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

AndFn(ValueFunction lhsArg, ValueFunction rhsArg)

Method Summary

int	baseID()
protected ValueFunction	concatenate(java.util.Vector data, java.util.Hashtable cache)
protected ValueFunction	concatenate(java.util.Vector data, int i, java.util.Hashtable cache)
ValueFunction	duplicate(DuplicationTable table)
boolean	equals(java.lang.Object any)
(package private) void	expand(java.util.Vector data)
protected void	expand(java.util.Vector data, java.util.Hashtable cache)
(package private) java.lang.Object	getArg(int position)
boolean	isDeterminate()
ValueFunction	mirror()
(package private) ValueFunction	normalize()
boolean	references(ValueFunction var)
ValueFunction	resolve(ResolutionContext c, Bindings b)
(package private) ValueFunction	simplify()
(package private) boolean	subsumes(AndFn fn)
java.lang.String	toString()
(package private) ValueFunction	unify(ValueFunction fn, Bindings b)
java.util.Vector	variables()

Methods inherited from class zeus.concepts.fn.ValueFunction

duplicate, evaluationFn, getArg, getID, getPD, invokeMethod, resolve, unifiesWith

Methods inherited from class java.lang.Object

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

Field Detail

args

protected ValueFunction[] args

Constructor Detail

AndFn

public AndFn(ValueFunction lhsArg,
             ValueFunction rhsArg)

Method Detail

toString

public java.lang.String toString()

simplify

ValueFunction simplify()

Overrides:

simplify in class ValueFunction

concatenate

protected ValueFunction concatenate(java.util.Vector data,
                                    java.util.Hashtable cache)

concatenate

protected ValueFunction concatenate(java.util.Vector data,
                                    int i,
                                    java.util.Hashtable cache)

expand

void expand(java.util.Vector data)

expand

protected void expand(java.util.Vector data,
                      java.util.Hashtable cache)

subsumes

boolean subsumes(AndFn fn)

getArg

java.lang.Object getArg(int position)

Specified by:

getArg in class ValueFunction

isDeterminate

public boolean isDeterminate()

Specified by:

isDeterminate in class ValueFunction

normalize

ValueFunction normalize()

Overrides:

normalize 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

mirror

public ValueFunction mirror()

Specified by:

mirror 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

baseID

public int baseID()

Overrides:

baseID in class ValueFunction