Next: Selecting Ordering and Selection
Up: The Interaction Cycle
Previous: Reading Clauses
Contents
Before starting a saturation, the user defines the
various parameters of the saturation process.
All commands that set some system parameter start with the prefix sa
for ``set active ... ''.
The system comes with default settings that should be fine for initial experimentation.
Parameter settings are also predefined specifically for each example directory
(cf. cd) and may be included in problem definitions
(cf. in).
The inference system is set
with the commands sair and
saes
The inference system is further parameterized by a selection strategy for
negative literals. This strategy is (re-)defined with the
command sass.
Harald Ganzinger
2002-12-04
Imprint | Data Protection