Here are the classes, structs, unions and interfaces with brief descriptions:
| CClauseDB | Stores the clauses and the certificate as an array of cdb_t items |
| CGlobal_Data | Global data, which is constant after forward pass |
| Citem_t | A certificate item |
| Clit_map | Container class to store a mapping from literals to type T |
| CParser | Parser that reads cnf and drat files |
| Cpos_t | A relative position in the clause database |
| CProof_Writer | Contains functions to output a GRAT proof |
| Cpush_clause_ids | The functionality of appending clause IDs to a vector |
| Cspinlock | Simple spinlock |
| CSynch_Data | Global data, which is synchronized between threads, or joined after thread's execution from thread's local data |
| Ctrail_item_t | An item on the trail |
| CVController | Encapsulates the functionality to control the multi-threaded checker |
| CVerifier | Main functionality for DRAT certificate verification |
