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

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.IntervalOO
All Implemented Interfaces:
Parametrable, java.io.Serializable

public class IntervalOO
extends MapsToList

The abstract math tree object of an interval of kind : ]a, b[.

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.MapsToList
closing, opening
 
Fields inherited from class fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject
identifier, param, token
 
Constructor Summary
IntervalOO()
          The constructor.
 
Methods inherited from class fr.ove.openmath.jome.ctrl.amto.MapsToList
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

IntervalOO

public IntervalOO()
The constructor.



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