cvc4-1.4
proof.h
Go to the documentation of this file.
1 /********************* */
18 #include "cvc4_public.h"
19 
20 #ifndef __CVC4__PROOF_H
21 #define __CVC4__PROOF_H
22 
23 #include <iostream>
24 
25 namespace CVC4 {
26 
28 public:
29  virtual ~Proof() { }
30  virtual void toStream(std::ostream& out) = 0;
31 };/* class Proof */
32 
33 }/* CVC4 namespace */
34 
35 #endif /* __CVC4__PROOF_H */
Definition: modes.h:25
#define CVC4_PUBLIC
Definition: cvc4_public.h:30
Macros that should be defined everywhere during the building of the libraries and driver binary...
virtual ~Proof()
Definition: proof.h:29
struct CVC4::options::out__option_t out