Update minizinc reserved words
AML14 opened this issue · 2 comments
AML14 commented
It's not complete
AML14 commented
The full list is the following (ideally, it should be a set, though):
public final static List<String> RESERVED_WORDS = Arrays.asList(RESERVED_WORDS = Arrays.asList("abort", "abs", "acos", "acosh", "ann", "annotation", "any", "array", "array1d", "array2d", "array3d", "array4d", "array5d", "array6d", "array_intersect", "array_union", "asin", "asinh", "assert", "atan", "atanh", "bool", "bool2int", "card", "case", "ceil", "concat", "constraint", "cos", "cosh", "diff", "div", "dom", "dom_array", "dom_size", "else", "elseif", "endif", "enum", "exp", "false", "fix", "float", "floor", "function", "if", "in", "include", "index_set", "index_set_1of2", "index_set_1of3", "index_set_2of2", "index_set_2of3", "index_set_3of3", "int", "int2float", "intersect", "is_fixed", "join", "lb", "lb_array", "length", "let", "list", "ln", "log", "log10", "log2", "max", "maximize", "min", "minimize", "mod", "not", "of", "op", "opt", "output", "par", "pow", "predicate", "product", "record", "round", "satisfy", "set", "set2array", "show", "show_float", "show_int", "sin", "sinh", "solve", "sqrt", "string", "subset", "sum", "superset", "symdiff", "tan", "tanh", "test", "then", "trace", "true", "tuple", "type", "ub", "ub_array", "union", "var", "where", "xor");
Include these words in MiniZinc class from the reservedwords package, and use them throughout the program.
AML14 commented
The reserved words used are the same as those used in the Xtext project (see Utils class, parseParamName method).