fr.ove.openmath.jome.model
Class Mfd2SubstitutionElement

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.KaryOperator
                      fr.ove.openmath.jome.model.Mfd2SubstitutionElement

All Implemented Interfaces:

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

public class Mfd2SubstitutionElement

extends KaryOperator

The elements of an Mfd2substitution object.
It is an operator of arity 2.

In fact, this object _MUST_ be instanciate by the Mfd2Substitution object, and only by it. Independently of the Mfd2Substitution object, the instance doesn't make any sense.

Version:

2.0 27/10/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

Mfd2SubstitutionElement()
The Constructor.

Method Summary

FormulaTreeStructure	addElement() Adds a new element (template) 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.KaryOperator

getOperatorArity, getValue, setOperatorArity, 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

Mfd2SubstitutionElement

public Mfd2SubstitutionElement()

The Constructor.

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 element (template) to the end of the list. Returns the new element.

Overrides:

addElement in class KaryOperator