fr.ove.openmath.jome.model
Class Mfd2Substitution

java.lang.Object
  fr.ove.openmath.jome.model.Node
      fr.ove.openmath.jome.model.FormulaTreeStructure
          fr.ove.openmath.jome.model.Operator
              fr.ove.openmath.jome.model.NaryOperator2
                  fr.ove.openmath.jome.model.Function
                      fr.ove.openmath.jome.model.Mfd2Substitution

All Implemented Interfaces:

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

public class Mfd2Substitution

extends Function

The substitution model of the symbol, with the same name, in the Mfd2 cd.

Version:

2.0 28/10/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

Mfd2Substitution()

Method Summary

FormulaTreeStructure	addElement() Adds a new SubstitutionElement to the end of the list.
FormulaTreeStructure	insert(FormulaTreeStructure current) Inserts the instance in the formula tree structure.

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

getValue, setValue

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

createLinear, evaluate, getEnding, 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

Mfd2Substitution

public Mfd2Substitution()

Method Detail

insert

public FormulaTreeStructure insert(FormulaTreeStructure current)

Inserts the instance in the formula tree structure.

Overrides:

insert in class NaryOperator2

Parameters:

current - the position in the formula tree where the operator is to be insert.

Returns:

the new current position int hte formula tree.

addElement

public FormulaTreeStructure addElement()

Adds a new SubstitutionElement to the end of the list. Returns the new element.

Overrides:

addElement in class NaryOperator2