eval
Class sum

java.lang.Object
  |
  +--eval.product
        |
        +--eval.sum

public class sum

extends product

Goal class for the sum rule.

Author:

Bernd Kuehl, Bernd.Kuehl@informatik.uni-osnabrueck.de, Axel-Tobias Schreiner, axel@informatik.uni-osnabrueck.de, Jan Kraneis, jkraneis@informatik.uni-osnabrueck.de

Fields inherited from class eval.product

op, result

Constructor Summary

sum()

Method Summary

void	shift(oops.parser.Goal sender, java.lang.Object value) shift method stores the value of the subtree

Methods inherited from class eval.product

reduce, shift, shift

Methods inherited from class java.lang.Object

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

Constructor Detail

sum

public sum()

Method Detail

shift

public void shift(oops.parser.Goal sender,
                  java.lang.Object value)

shift method stores the value of the subtree

Overrides:

shift in class product