clauset::stept Struct Reference

#include <resolution_proof.h>

Public Attributes
unsigned	pivot_var_no
unsigned	clause_id

Detailed Description

Definition at line 27 of file resolution_proof.h.

Member Data Documentation

clause_id

unsigned clauset::stept::clause_id

Definition at line 30 of file resolution_proof.h.

pivot_var_no

unsigned clauset::stept::pivot_var_no

Definition at line 29 of file resolution_proof.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/sat/resolution_proof.h