[−][src]Module varisat_checker::state
Checker state and checking of proof steps.
Structs
| CheckerState | A checker for unsatisfiability proofs in the native varisat format. |
Functions
| check_at_clause_step | Check an AtClause step |
| check_change_sampling_mode | Check a ChangeSamplingMode step |
| check_delete_clause_step | Check a DeleteClause step |
| check_delete_var_step | Check a DeleteVar step |
| check_failed_assumptions_step | Check a FailedAssumptions step |
| check_model_step | Check a Model step |
| check_proof | Checks a proof in the native Varisat format. |
| check_step | Check a single proof step |
| check_unit_clauses_step | Check a UnitClauses step |
| process_unit_conflicts | Process unit conflicts detected during clause loading. |