GRATgen
|
Encapsulates the functionality to control the multi-threaded checker. More...
Public Member Functions | |
VController () | |
Constructor. There should only be one VController at a time! | |
~VController () | |
Destructor. | |
void | do_parsing (istream &cnf_in, istream &drat_in) |
Parse formula and certificate. | |
void | do_verification (size_t num_threads) |
Perform verification, using the specified number of threads. | |
void | dump_proof (ostream &out) |
Write out the proof. More... | |
Encapsulates the functionality to control the multi-threaded checker.
void VController::dump_proof | ( | ostream & | out | ) |
Write out the proof.