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
25namespace CVC4 {
26
28public:
29 virtual ~Proof() { }
30 virtual void toStream(std::ostream& out) = 0;
31};/* class Proof */
32
33}/* CVC4 namespace */
34
35#endif /* __CVC4__PROOF_H */
virtual ~Proof()
Definition proof.h:29
virtual void toStream(std::ostream &out)=0
Macros that should be defined everywhere during the building of the libraries and driver binary,...
#define CVC4_PUBLIC
Definition cvc4_public.h:30
Definition expr.h:106