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

java.lang.Object
  extended byfr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject
      extended byfr.ove.openmath.jome.ctrl.amto.MapsToNAry
          extended byfr.ove.openmath.jome.ctrl.amto.MapsToList
              extended byfr.ove.openmath.jome.ctrl.amto.Function
                  extended byfr.ove.openmath.jome.ctrl.amto.Limit
All Implemented Interfaces:
Parametrable, java.io.Serializable

public class Limit
extends Function

The abstract math tree object of the limit operator.

Version:
1.0 25/02/2000
Author:
© 2000 DIRAT Laurent
See Also:
Serialized Form

Field Summary
 
Fields inherited from class fr.ove.openmath.jome.ctrl.amto.MapsToList
closing, opening
 
Fields inherited from class fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject
identifier, param, token
 
Constructor Summary
Limit()
          The constructor.
 
Method Summary
 void flush()
          "Flushes" the object as a sequence of events for the building of the model
 
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

Limit

public Limit()
The constructor.

Method Detail

flush

public void flush()
"Flushes" the object as a sequence of events for the building of the model

Overrides:
flush in class MapsToList


Copyright © 1999-2007 Universit?© de Nice Sophia-Antipolis, I3S, Ove SARL, DFKI and Universit?§t des Saarlandes. All Rights Reserved.