next up previous contents
Next: Options Settings Up: add: Adding Input Previous: Reading Outputs from out   Contents


Calls to Flag Settings

Calls to flag settings are of the form

\begin{displaymath} \mbox{{\tt :- flag($S$).}} \end{displaymath}

where 
     flag    : sair | saes | saci | sass | sarp |sams | satp
The setting $S$ is flag-specific and explained for the respective sa ${<}\mbox{{\tt xx}}{>}$ command,

Before reading a file, flags are set to the defaults as given by the defaults file in the current directory. If no such file exists it is created with a certain standard set of flag settings. If flag settings should not be reset to their defaults, use inc($F$) rather than in($F$).


Harald Ganzinger 2002-12-04

Imprint | Data Protection