View Javadoc

1   package fr.ove.openmath.jome.ctrl.amto;
2   
3   import fr.ove.openmath.jome.ctrl.linear.events.LinearParserEvent;
4   import fr.ove.openmath.jome.ctrl.amto.MapsToTerminal;
5   
6   /***
7   * The abstract math tree object of all kind of symbol in an expression.<BR>
8   * For example the number Pi, the different sets name : C, N, R, Z, ....
9   *
10  * @author © 1999 DIRAT Laurent
11  * @version 1.0  29/10/1999
12  */
13  public class Symbols extends MapsToTerminal {
14      /***
15      * The constructor.
16      */
17      public Symbols() {
18          super("symbols", LinearParserEvent.RESERVED);
19      }
20  }