Command Syntax

The basic syntax to invoke the various functions of LattE is:

./count fileName
./ehrhart fileName
./maximize fileName
./minimize fileName

Note that the last two functions require a cost vector specified in the file ``fileName.cost''!

Additionally, a variety of options can be used. All options should be space-delimited in the command.

One option that can be set in addition to the options given below is ``cdd'' which tells LattE to read its input from a cdd input file. Thus, the above invocations for cdd input files would be

./count cdd fileName
./ehrhart cdd fileName
./maximize cdd fileName
./minimize cdd fileName