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 postfixed specialisation operator.
8 *
9 * @author © 1999 DIRAT Laurent
10 * @version 1.0 18/11/1999
11 */
12 public class PostfixedSpecialisation extends MapsToPostfixedUnary {
13 /***
14 * The Constructor.
15 */
16 public PostfixedSpecialisation() {
17 super("postSpecial", LinearParserEvent.SPECIALIZED);
18 }
19 }