[−][src]Module varisat_checker::processing
Processing of checked proof steps.
Structs
| CheckedUserVar | Corresponding user variable for a proof variable. |
| CheckerData | Checker data available to proof processors. |
| Processing | Registry of proof and transcript processors. |
| ResolutionPropagations | A list of clauses to resolve and propagations to show that the resolvent is an AT. |
Enums
| CheckedProofStep | A single step of a proof. |
| CheckedSamplingMode | Sampling mode of a user variable. |
Traits
| ProofProcessor | Implement to process proof steps. |
Functions
| process_step | Process a single step |