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

java.lang.Object
  fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject
      fr.ove.openmath.jome.ctrl.amto.MapsToUnary
          fr.ove.openmath.jome.ctrl.amto.MapsToPrefixedUnary
              fr.ove.openmath.jome.ctrl.amto.Specialisation

All Implemented Interfaces:

Parametrable, java.io.Serializable

public class Specialisation

extends MapsToPrefixedUnary

The abstract math tree object of 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

Specialisation()
The Constructor.

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

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

Specialisation

public Specialisation()

The Constructor.