1 package fr.ove.openmath.jome.model;
2
3 import java.util.*;
4 import fr.ove.openmath.jome.model.*;
5 import fr.ove.openmath.jome.model.events.*;
6 import fr.ove.openmath.jome.model.evaluation.*;
7
8 /***
9 * The operator "*", which is the binary multiplication.
10 * (In fact, for implementation needs, we consider it as an n-ary operator)<BR>
11 *
12 * <CODE>Multiplication</CODE> represents a node in the formula tree.
13 * Its children are the operands of the operation.
14 *
15 * @author © 2000 DIRAT Laurent
16 * @version 2.1 10/01/2000
17 */
18 public class Multiplication extends NaryOperator {
19 /***
20 * The Constructor.
21 */
22 public Multiplication() {
23 setResourceIdentifier("MULTIPLICATION");
24 setValue("*");
25 setAsOperatorPriority(resourcesManager.getAsOperatorPriority("timesPriorities"));
26 setAsOperandPriority(resourcesManager.getAsOperandPriority("timesPriorities"));
27 setAreOperandsMovable(true);
28 }
29
30 }