Next:
add: Adding Input
Up:
The Saturate System
Previous:
Proof Printing
Contents
Saturate Commands
Subsections
add
: Adding Input
Use Declarations
Predicate Declarations
Ordering Declarations
Precedence Declarations
Reading Outputs from
out
Calls to Flag Settings
Options Settings
Examples
Separating Logic and Meta-Logical Directives
cd
cl
: Clearing the Database
Flag Settings
saci
: Settings for Constraint Inheritance
saes
: Settings for Eager Simplification
sair
: Settings for Inference Rules
sams
: Messages
sarp
: Selecting Redundancy Proof Techniques
sass
: Choosing a Selection Strategy
satp
: Timing
sv
: Saving Default Flag Settings
help
in
,
insrc
: Reading Input Files
l
: Listing
lprec
: Listing of the Precedence
out
: Dumping Theories to Files
prec
: Precedence Definition
prove
: Theorem Proving
rp
: Displaying Proofs
sat
: Starting Saturation
translate
: Translating Modal Logic Formulas
Harald Ganzinger 2002-12-04
Imprint
|
Data Protection
