next up previous contents
Next: saci: Settings for Constraint Up: Saturate Commands Previous: cl: Clearing the Database   Contents


Flag Settings

The flag setting commands are named $\mbox{{\tt sa}}{<}xx{>}$, for ``Set Active $xx$'' where $xx$ is a two-letter identifier for a flag. The commands can either be called without a parameter for an interactive setting of flags, or with a single parameter $S$ which is a list of options for that flag. Calls to sa-commands with parameter may also appear in input files. Options are given by natural numbers. Their meaning is flag-specific and is described below. If the list is prefixed by a ``+'', the listed options are added to the set of current options for the flag. If the list is prefixed by a ``-'' they are deleted.

All flags have a default setting that is determined by a file named defaults in the current directory. Saturate will generate such a defaults file upon changing into a directory with cd where there is no defaults file yet. The defaults file can be changed into user-specified defaults with the family of sv commands.



Subsections

Harald Ganzinger 2002-12-04

Imprint | Data Protection