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.MapsToPrefixedUnary;
5
6 /***
7 * The abstract math tree object of specialisation operator.
8 *
9 * @author © 1999 DIRAT Laurent
10 * @version 1.0 18/11/1999
11 */
12 public class Specialisation extends MapsToPrefixedUnary {
13 /***
14 * The Constructor.
15 */
16 public Specialisation() {
17 super("special", LinearParserEvent.SPECIALIZED);
18 }
19 }