fr.ove.openmath.jome.model
Class Multiplication

java.lang.Object
  extended byfr.ove.openmath.jome.model.Node
      extended byfr.ove.openmath.jome.model.FormulaTreeStructure
          extended byfr.ove.openmath.jome.model.Operator
              extended byfr.ove.openmath.jome.model.NaryOperator
                  extended byfr.ove.openmath.jome.model.Multiplication
All Implemented Interfaces:
java.lang.Cloneable, Comparable, ControlListener, java.util.EventListener, Iconifiable, Maskable, Modifiable, java.io.Serializable

public class Multiplication
extends NaryOperator

The operator "*", which is the binary multiplication. (In fact, for implementation needs, we consider it as an n-ary operator)
Multiplication represents a node in the formula tree. Its children are the operands of the operation.

Version:
2.1 10/01/2000
Author:
© 2000 DIRAT Laurent
See Also:
Serialized Form

Constructor Summary
Multiplication()
          The Constructor.
 
Methods inherited from class fr.ove.openmath.jome.model.NaryOperator
createLinear, evaluate, insert
 
Methods inherited from class fr.ove.openmath.jome.model.Operator
getTheOperator, getValue, isOperator, setTheOperator, setValue
 
Methods inherited from class fr.ove.openmath.jome.model.FormulaTreeStructure
addModelListener, consumeControlEvent, findLocation, fireModelEvent, getAreOperandsMovable, getAsOperandPriority, getAsOperatorPriority, getCrossRef, getIconName, getListeners, getResourceIdentifier, goTo, iconify, isEqual, isGreater, isGreaterOrEqual, isIcon, isIconifiable, isLesser, isLesserOrEqual, isTemplate, isVisible, moveOperands, removeAllModelListener, removeModelListener, setAreOperandsMovable, setAsOperandPriority, setAsOperatorPriority, setCrossRef, setIconName, setIsIconifiable, setIsTemplate, setIsVisble, setResourceIdentifier, uniconify, uniconifyAll
 
Methods inherited from class fr.ove.openmath.jome.model.Node
addChild, addChild, clone, computeDepth, computeNbStrahler, duplicate, getChild, getChildren, getDepth, getFather, getNbChildren, getNbStrahler, getRank, hasChild, moveChildren, removeAll, removeChild, removeChild, setFather, setNbStrahler
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Multiplication

public Multiplication()
The Constructor.



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