fr.ove.openmath.jome.model
Class LambdaExpression

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.LambdaExpression

All Implemented Interfaces:

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

public class LambdaExpression

extends Function

The lambda expression object.
The first child corresponds to the function. The next child(ren) to the bound variable(s).

Version:

2.0 11/10/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

LambdaExpression()

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.
boolean	isJustFunction() Returns true if only the is displayed.
void	setJustFunction(boolean justFunction) Sets if just the function is rendered or not.

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

LambdaExpression

public LambdaExpression()

Method Detail

isJustFunction

public boolean isJustFunction()

Returns true if only the is displayed. false otherwise.

setJustFunction

public void setJustFunction(boolean justFunction)

Sets if just the function is rendered or not.

Parameters:

justFunction - true if we only want the function to be displayed. false otherwise.

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 NaryOperator2