1 package fr.ove.openmath.jome.model;
2
3 import fr.ove.openmath.jome.model.FormulaTreeStructure;
4 import fr.ove.openmath.jome.model.events.ModelEvent;
5 import fr.ove.openmath.jome.model.evaluation.*;
6
7 /***
8 * @author © 2000 DIRAT Laurent
9 * @version 2.1 10/01/2000
10 */
11 public class StringLowerCaseConstant extends Constant {
12 // Juste pour des cas spÈciaux qui font que la syntaxe linÈaire de la constante est faite en majucules,
13 // par exemple e (exp(1)) et i (i^2 = -1) alors que l'affichage de la constante est fait en minuscules.
14 /***
15 * Returns the value.
16 */
17 public String getValue() {
18 return (super.getValue()).toLowerCase();
19 }
20 }