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

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

public class InfixOperator
extends MapsToNAry

The abstract math tree object of any infix 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
InfixOperator()
          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

InfixOperator

public InfixOperator()
The constructor.



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