fr.ove.openmath.jome.model
Class Function

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.NaryOperator2
                  extended byfr.ove.openmath.jome.model.Function
All Implemented Interfaces:
java.lang.Cloneable, Comparable, ControlListener, java.util.EventListener, Iconifiable, Maskable, Modifiable, java.io.Serializable
Direct Known Subclasses:
Differentiation, LambdaExpression, Mfd2Substitution

public class Function
extends NaryOperator2

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

Constructor Summary
Function()
           
 
Method Summary
 java.lang.String getValue()
          Returns the value.
 void setValue(java.lang.String value)
          Sets the value.
 
Methods inherited from class fr.ove.openmath.jome.model.NaryOperator2
addElement, createLinear, evaluate, getEnding, insert, setEnding
 
Methods inherited from class fr.ove.openmath.jome.model.Operator
getTheOperator, isOperator, setTheOperator
 
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

Function

public Function()
Method Detail

setValue

public void setValue(java.lang.String value)
Sets the value.

Specified by:
setValue in interface Modifiable
Overrides:
setValue in class Operator

getValue

public java.lang.String getValue()
Returns the value.

Specified by:
getValue in interface Modifiable
Overrides:
getValue in class Operator


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