Overview of subroutines and reserved words
There is a range of built-in functions and procedures available in Mosel. They are described fully in the Mosel Language Reference Manual. Here is a summary.
- Accessing solution values: getsol, getact, getdual, getrcost, getslack, getobjval
- Arithmetic functions: abs, arctan, cos, sin, ceil, floor, round, exp, ln, log, sqrt, isodd, random, setrandseed
- List functions: maxlist, minlist, cuthead, cuttail, findfirst, findlast, getfirst, getlast, getreverse, reverse, gethead, gettail, splithead, splittail
- String functions: strfmt, substr, _
- Dynamic array handling: create, exists, finalize, delcell, isdynamic
- File handling: fclose, fflush, fopen, fselect, fskipline, fwrite, fwrite_, fwriteln, fwriteln_, getfid, getfname, getreadcnt, iseof, read, readln, write, write_, writelnwriteln_
- Accessing control parameters: getparam, setparam
- Getting information: getcoeff, getcoeffs, getsize, gettype, getvars
- Constraint definition: sethidden, ishidden, makesos1, makesos2, setcoeff, settype
- Time and date: currentdate, currenttime, timestamp
- Bit values: bitflip, bitneg, bitset, bitshift, bittest, bitval
- Special values: isfinite, isinf, isnan
- Miscellaneous functions: asproc, assert, exit, exportprob, reset, setioerr, setmatherr, publish, unpublish
Modules
The distribution of Mosel contains several modules that add extra functionality to the language.
A full list of the functionality of a module can be obtained by using Mosel's exam command, for instance
mosel exam mmsystem
In this manual, we always use Xpress Optimizer as solver. Access to the corresponding optimization functions is provided by the module mmxprs.
In the mmxprs module are the following useful functions.
- Optimize: minimize, maximize
- MIP directives: setmipdir, clearmipdir
- Handling bases: savebasis, loadbasis, delbasis
- Force problem loading: loadprob
- Accessing problem status: getprobstat
- Deal with bounds: setlb, setub, getlb, getub
- Model cut functions: setmodcut, clearmodcut
For example, here is a nice habit to get into when solving a problem with Xpress Optimizer.
declarations
status:array({XPRS_OPT,XPRS_UNF,XPRS_INF,XPRS_UNB,XPRS_OTH}) of string
end-declarations
status::([XPRS_OPT,XPRS_UNF,XPRS_INF,XPRS_UNB,XPRS_OTH])[
"Optimum found","Unfinished","Infeasible","Unbounded","Failed"]
...
minimize(Obj)
writeln(status(getprobstat))In the mmsystem module are various useful functions provided by the underlying operating system and a few programming utilities :
- Delete a file/directory: fdelete, removedir
- Copy/move a file: fcopy, fmove
- Make a directory: makedir
- Current working directory: getcwd
- Get/set an environment variable's value: getenv, setenv
- File and system status: getfstat, getsysstat
- General system call: system
- Time and date: gettime, getdate, getweekday, getasnumber, ...
- Handling the type text: copytext, cuttext, deltext, readtextline, ...
- Sort an array of numbers: qsort
Other modules mentioned in this manual are mmodbc, mmsheet, mmetc, and mmjobs.
See the module documentation in the Mosel Language Reference Manual or in the individual module reference manuals for full details.
Reserved words
The following words are reserved in Mosel. The upper case versions are also reserved (i.e. AND and and are keywords but not And). Do not use them in a model except with their built-in meaning.
and, array, as
boolean, break
case, count, counter
declarations, div, do, dynamic
elif, else, end, evaluation
false, forall, forward, from, function
if, imports, in, include, initialisations, initializations, integer, inter,
is_binary, is_continuous, is_free, is_integer, is_partint, is_semcont,
is_semint, is_sos1, is_sos2
linctr, list
max, min, mod, model, mpvar
next, not
of, options, or
package, parameters, procedure, public, prod
range, real, record, repeat, requirements, return
set, string, sum
then, to, true
union, until, uses
version
while, with