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