zeus.concepts.fn
Class LogicalNotFn

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

public class LogicalNotFn

extends LogicalFn

Field Summary

protected ValueFunction	arg
(package private) static java.lang.String[]	legal_operands

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

LogicalNotFn(ValueFunction arg)

Method Summary

ValueFunction	duplicate(DuplicationTable table)
boolean	equals(java.lang.Object any)
int	evaluate()
ValueFunction	evaluationFn()
(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()
java.lang.String	toString()
java.util.Vector	variables()

Methods inherited from class zeus.concepts.fn.LogicalFn

baseID, unify

Methods inherited from class zeus.concepts.fn.ValueFunction

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

Methods inherited from class java.lang.Object

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

Field Detail

arg

protected ValueFunction arg

legal_operands

static final java.lang.String[] legal_operands

Constructor Detail

LogicalNotFn

public LogicalNotFn(ValueFunction arg)
             throws java.lang.IllegalArgumentException

Method Detail

mirror

public ValueFunction mirror()

Specified by:

mirror in class ValueFunction

toString

public java.lang.String toString()

simplify

ValueFunction simplify()

Overrides:

simplify in class ValueFunction

getArg

java.lang.Object getArg(int position)

Specified by:

getArg 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

isDeterminate

public boolean isDeterminate()

Specified by:

isDeterminate in class ValueFunction

normalize

ValueFunction normalize()

Overrides:

normalize in class ValueFunction

resolve

public ValueFunction resolve(ResolutionContext c,
                             Bindings b)

Overrides:

resolve in class ValueFunction

evaluate

public int evaluate()

Specified by:

evaluate in class LogicalFn

evaluationFn

public ValueFunction evaluationFn()

Overrides:

evaluationFn in class ValueFunction

duplicate

public ValueFunction duplicate(DuplicationTable table)

Overrides:

duplicate in class ValueFunction

equals

public boolean equals(java.lang.Object any)