tree
Class term

java.lang.Object
  |
  +--oops.parser.GoalAdapter
        |
        +--tree.term

public class term
extends oops.parser.GoalAdapter

Goal class for the term 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

Inner Class Summary
static class term.minus
          Inner class implements unary minus
 
Fields inherited from class oops.parser.GoalAdapter
result
 
Constructor Summary
term()
           
 
Methods inherited from class oops.parser.GoalAdapter
reduce, shift, shift, shift
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

term

public term()