1 2 3 4 5 6 7 8 9
#include "cnf_proof.h" using namespace CVC4::prop; namespace CVC4 { CnfProof::CnfProof(CnfStream* stream) : d_cnfStream(stream) {} } /* CVC4 namespace */