fr.ove.openmath.jome.ctrl.amto
Class Greater

java.lang.Object
  fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject
      fr.ove.openmath.jome.ctrl.amto.MapsToNAry
          fr.ove.openmath.jome.ctrl.amto.Greater

All Implemented Interfaces:

Parametrable, java.io.Serializable

public class Greater

extends MapsToNAry

The abstract math tree object of the greater operator.

Version:

1.0 18/11/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Field Summary

Fields inherited from class fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject

identifier, param, token

Constructor Summary

Greater()
The constructor.

Methods inherited from class fr.ove.openmath.jome.ctrl.amto.MapsToNAry

flush

Methods inherited from class fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject

add, fireLinearParserEvent, flushChild, getChild, getChildren, getEventSource, getFather, getNbChildren, getParameter, remove, remove, removeAll, setEventSource, setFather, setParameter

Methods inherited from class java.lang.Object

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

Constructor Detail

Greater

public Greater()

The constructor.