This section lists the predicates of the fsa_globals module. This module maintains a number of global variables for FSA. These variables are maintained using the blackboard primitives of SICStus; all variables live in the fsa module.
This section lists the predicates defined by this module.
Predicate to set the global variable with name Key to *Val*.
Predicate to query the value of the global variable with name *Key*. If the value is undefined then Val is unified to a default value. These default values are available as the third argument of the fsa_global_decl predicate.
Key is a global variable with default value *Default*. Some typical values are given in the list *Typical*. Help is a string explaining the variable. Val^Goal can be used to check that Val is an appropriate value for this flag.
List will be unified with a keylist of all the global variables with their associated values. If no argument is given, then this list is written to standard output
FSA version information is displayed on standard error. Note that the version information is available through the fsa_version global variable.
Atom is an atom indicating the current Prolog system. At the moment Atom is one of *sicstus*, *yap*, or *swi*.