GRATgen: Class List

GRATgen

Class List
Here are the classes, structs, unions and interfaces with brief descriptions:

C ClauseDB | Stores the clauses and the certificate as an array of cdb_t items
C Global_Data | Global data, which is constant after forward pass
C item_t | A certificate item
C lit_map | Container class to store a mapping from literals to type T
C Parser | Parser that reads cnf and drat files
C pos_t | A relative position in the clause database
C Proof_Writer | Contains functions to output a GRAT proof
C push_clause_ids | The functionality of appending clause IDs to a vector
C spinlock | Simple spinlock
C Synch_Data | Global data, which is synchronized between threads, or joined after thread's execution from thread's local data
C trail_item_t | An item on the trail
C VController | Encapsulates the functionality to control the multi-threaded checker
C Verifier | Main functionality for DRAT certificate verification