fr.ove.openmath.jome.model
Class Variable

java.lang.Object
  fr.ove.openmath.jome.model.Node
      fr.ove.openmath.jome.model.FormulaTreeStructure
          fr.ove.openmath.jome.model.Constant
              fr.ove.openmath.jome.model.VariableOrNumber
                  fr.ove.openmath.jome.model.Variable

All Implemented Interfaces:

java.lang.Cloneable, Comparable, ControlListener, java.util.EventListener, Iconifiable, Maskable, Modifiable, java.io.Serializable

public class Variable

extends VariableOrNumber

Variable elements in the formula.

Version:

2.1 10/01/2000

Author:

© 2000 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

Variable()
The default constructor.

Variable(java.lang.String varname)
The constructor.

Methods inherited from class fr.ove.openmath.jome.model.VariableOrNumber

createLinear, insert, isInteger, isNumber, isRequestVariable, setIsInteger, setIsNumber, setIsRequestVariable

Methods inherited from class fr.ove.openmath.jome.model.Constant

evaluate, getValue, isIconifiable, isOperator, 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, 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

Variable

public Variable()

The default constructor.
Constructs a variable with no name. A default constuctor is needed for dynamic instantiation. The name of hte variable must be set after instantiation

Variable

public Variable(java.lang.String varname)

The constructor.
Contstructs a variable with the specified name.