Juliano Cardoso / circusRefine

Blame view

circus/src/jcircus/util/MathToolkitConstants.java 2.27 KB
edit raw normal view history
8d0dc533f   Madiel de Souza Conserva Filho   first 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
 
  package jcircus.util;
  
  import net.sourceforge.czt.z.util.ZString;
  
  /**
   * Some constants for definitions in the Mathmatical Toolkit.
   *
   * These constants should be the same as defined in InfixExpressionMounter
   * and PrefixExpressionMounter.
   * 
   * @author Angela Freitas
   */
  public class MathToolkitConstants {
      
      public static String NAT            = ZString.NAT;
      public static String NUM            = ZString.NUM;
      public static String ARITHMOS       = ZString.ARITHMOS;
      
      public static String ADD            = ZString.ARG_TOK + ZString.PLUS + ZString.ARG_TOK;
      public static String SUB            = ZString.ARG_TOK + ZString.MINUS + ZString.ARG_TOK;
      public static String MULT           = ZString.ARG_TOK + ZString.MULT + ZString.ARG_TOK;
      public static String DIV            = ZString.ARG_TOK + "div" + ZString.ARG_TOK;
      public static String MOD            = ZString.ARG_TOK + "mod" + ZString.ARG_TOK;
      public static String NEGATE         = ZString.MINUS + ZString.ARG_TOK;
  
      public static String LESS_EQUAL     = ZString.ARG_TOK + ZString.LEQ + ZString.ARG_TOK;
      public static String GREATER_EQUAL  = ZString.ARG_TOK + ZString.GEQ + ZString.ARG_TOK;
      public static String LESS           = ZString.ARG_TOK + ZString.LESS + ZString.ARG_TOK;
      public static String GREATER        = ZString.ARG_TOK + ZString.GREATER + ZString.ARG_TOK;
      public static String NOTEQUAL       = ZString.ARG_TOK + ZString.NEQ + ZString.ARG_TOK;
      public static String NUM_RANGE      = ZString.ARG_TOK + ".." + ZString.ARG_TOK;
  
      public static String PFUNCTION      = ZString.ARG_TOK + ZString.PFUN + ZString.ARG_TOK;
      public static String PINJECTION     = ZString.ARG_TOK + ZString.PINJ + ZString.ARG_TOK;
      
      public static String EMPTYSET       = ZString.EMPTYSET;
      public static String UNION          = ZString.ARG_TOK + ZString.CUP + ZString.ARG_TOK;
      
      public static String CARDINALITY    = ZString.NUMBER + ZString.ARG_TOK;
      public static String MEMBERSHIP     = ZString.ARG_TOK + ZString.MEM + ZString.ARG_TOK;
      
      public static String SUBSETEQ       = ZString.ARG_TOK + ZString.SUBSETEQ + ZString.ARG_TOK;
      
      public static String SET_DIFF       = ZString.ARG_TOK + ZString.SETMINUS + ZString.ARG_TOK;
  }