fr.ove.openmath.jome.ctrl.amto
Class PostfixedSpecialisation

java.lang.Object
  fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject
      fr.ove.openmath.jome.ctrl.amto.MapsToUnary
          fr.ove.openmath.jome.ctrl.amto.MapsToPostfixedUnary
              fr.ove.openmath.jome.ctrl.amto.PostfixedSpecialisation

All Implemented Interfaces:

Parametrable, java.io.Serializable

public class PostfixedSpecialisation

extends MapsToPostfixedUnary

The abstract math tree object of postfixed specialisation operator.

Version:

1.0 18/11/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Field Summary

Fields inherited from class fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject

identifier, param, token

Constructor Summary

PostfixedSpecialisation()
The Constructor.

Methods inherited from class fr.ove.openmath.jome.ctrl.amto.MapsToPostfixedUnary

flush

Methods inherited from class fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject

add, fireLinearParserEvent, flushChild, getChild, getChildren, getEventSource, getFather, getNbChildren, getParameter, remove, remove, removeAll, setEventSource, setFather, setParameter

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PostfixedSpecialisation

public PostfixedSpecialisation()

The Constructor.