R/environ.R

# package level environment
.globals = env()
.globals$Type$kinds =  c("var", "par") 
.globals$Type$baseTypes = c("bool", "int", "float", "string", "unknown", "ann") 
.globals$binopTypes =  c("+", "-", "!=", "<->", ">=", "<=", "*", ">", "<", "->", "<-", "..", "\\/", "/\\", "'not'",
                          "subset", "superset", "union", "diff", "symdiff", "intersect",
                          "^", "div", "mod", "/", "++", "xor", "in", "=")
.globals$unopTypes = c("+", "-", "not")
.globals$objectives = c("satisfy", "maximize", "minimize")
.globals$help_track_decls = NULL

Try the rminizinc package in your browser

Any scripts or data that you put into this service are public.

rminizinc documentation built on Oct. 15, 2021, 9:06 a.m.