proof.h
Go to the documentation of this file.
/********************* */
#include "cvc4_public.h"
#ifndef __CVC4__PROOF_H
#define __CVC4__PROOF_H
#include <iostream>
namespace CVC4 {
class CVC4_PUBLIC Proof {
public:
virtual ~Proof() { }
virtual void toStream(std::ostream& out) = 0;
};/* class Proof */
}/* CVC4 namespace */
#endif /* __CVC4__PROOF_H */
CVC4::Proof
Definition proof.h:27
CVC4::Proof::~Proof
virtual ~Proof()
Definition proof.h:29
CVC4::Proof::toStream
virtual void toStream(std::ostream &out)=0
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary,...
CVC4_PUBLIC
#define CVC4_PUBLIC
Definition cvc4_public.h:30
CVC4
Definition expr.h:106