Next: saci: Settings for Constraint
Up: Saturate Commands
Previous: cl: Clearing the Database
Contents
Flag Settings
The flag setting commands are named
,
for ``Set Active '' where 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
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