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;
}