Logo Search packages:      
Sourcecode: wims version File versions  Download package

fr::ove::openmath::jome::model::NamedBinaryOperator Class Reference

Inheritance diagram for fr::ove::openmath::jome::model::NamedBinaryOperator:

fr::ove::openmath::jome::model::BinaryOperator fr::ove::openmath::jome::model::Operator fr::ove::openmath::jome::model::FormulaTreeStructure fr::ove::openmath::jome::model::Node fr::ove::openmath::jome::ctrlview::events::ControlListener fr::ove::openmath::jome::behaviour::Iconifiable fr::ove::utils::Comparable fr::ove::openmath::jome::behaviour::Maskable fr::ove::openmath::jome::behaviour::Modifiable

List of all members.

Detailed Description

The same as
See also:
BinaryOperator but the difference is the name of the operator is made of letters. And if the operator is glued to its operands during parsing, the name of the operator could not be detected. So space before and after the name of the operator are necessary.
So, the only difference with

BinaryOperator is the spaces added around the name of the operator when exporting the linear form.

2000 DIRAT Laurent
2.0 12/01/2000

Definition at line 45 of file NamedBinaryOperator.java.

Public Member Functions

void addChild (Node child, int rank)
void addChild (Node child)
void addModelListener (ModelListener modelListener)
synchronized Object clone ()
void computeDepth ()
void computeNbStrahler ()
void consumeControlEvent (ControlEvent controlEvent)
String createLinear (String linear)
synchronized Object duplicate ()
String evaluate ()
FormulaTreeStructure findLocation (FormulaTreeStructure current)
void fireModelEvent (ModelEvent modelEvent)
boolean getAreOperandsMovable ()
int getAsOperandPriority ()
int getAsOperatorPriority ()
Node getChild (int rank)
Vector getChildren ()
int getDepth ()
Node getFather ()
String getIconName ()
Vector getListeners ()
int getNbChildren ()
int getNbStrahler ()
int getRank ()
String getResourceIdentifier ()
String getTheOperator ()
String getValue ()
FormulaTreeStructure goTo (int priority)
boolean hasChild (Node node)
void iconify ()
FormulaTreeStructure insert (FormulaTreeStructure current)
boolean isEqual (Comparable toCompare)
boolean isEqual (fr.ove.utils.Comparable toCompare)
boolean isGreater (Comparable toCompare)
boolean isGreater (fr.ove.utils.Comparable toCompare)
boolean isGreaterOrEqual (Comparable toCompare)
boolean isGreaterOrEqual (fr.ove.utils.Comparable toCompare)
boolean isIcon ()
boolean isIconifiable ()
boolean isLesser (Comparable toCompare)
boolean isLesser (fr.ove.utils.Comparable toCompare)
boolean isLesserOrEqual (Comparable toCompare)
boolean isLesserOrEqual (fr.ove.utils.Comparable toCompare)
boolean isOperator ()
boolean isTemplate ()
boolean isVisible ()
void moveChildren (Vector list, int rank)
void moveOperands (Vector list, int rank)
void removeAll ()
void removeAllModelListener ()
void removeChild (Node node)
void removeChild (int rank)
void removeModelListener (ModelListener modelListener)
void setAreOperandsMovable (boolean areOperandsMovable)
void setAsOperandPriority (int asOperandPriority)
void setAsOperatorPriority (int asOperatorPriority)
void setFather (Node father)
void setIconName (String iconName)
void setIsIconifiable (boolean isIconifiable)
void setIsTemplate (boolean isTemplate)
void setIsVisble (boolean isVisible)
void setNbStrahler (int nbStrahler)
void setResourceIdentifier (String resourceIdentifier)
void setTheOperator (String theOperator)
void setValue (String value)
void uniconify ()
void uniconifyAll ()

Static Package Attributes

static FormulaResourcesManager resourcesManager = new FormulaResourcesManager("fr.ove.openmath.jome.model.resources2")

The documentation for this class was generated from the following file:

Generated by  Doxygen 1.6.0   Back to index