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 |
Cpush_clause_ids | The functionality of appending clause IDs to a vector |
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 |