GRATgen
Public Member Functions | List of all members
VController Class Reference

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...
 

Detailed Description

Encapsulates the functionality to control the multi-threaded checker.

See also
Object_Lifetimes

Member Function Documentation

void VController::dump_proof ( ostream &  out)

Write out the proof.

Precondition
Proofs must have been recorded, i.e., cfg_no_grat == false

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