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()