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

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

All Implemented Interfaces:

Parametrable, java.io.Serializable

public class GreaterEqual

extends MapsToNAry

The abstract math tree object of the greater or equal 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

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

GreaterEqual

public GreaterEqual()

The constructor.