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

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

public class Unequal
extends MapsToNAry

The abstract math tree object of the unequal 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
Unequal()
          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

Unequal

public Unequal()
The constructor.



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