Modules§
Macros§
Structs§
- AllAnalyses
- Assign
Data - Cdcl
Analysis - Direct
Dep - Inst
Graph - Insts
Info - Counts of different instantiation stats.
- LogInfo
- Matches
Info - Counts of different match-line kinds. Essentially how many instantiations were from each of the different categories.
- Problem
Behaviour - Problem
Behaviours - Proof
Analysis - Quant
PatInfo - Quant
Redundancy - Quantifier
Analysis - Quants
Info - How many times each quantifier was instantiated
- RawEdge
Index - RawNode
Index - Redundancy
Analysis - Visible
Edge Index - Visible
Node Index
Enums§
Functions§
- run_all
- Run all available analyses. Used for testing.