Juliano Cardoso / circusRefine

MathToolkitConstants.java 2.27 KB
edit raw blame history 
  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;
}