cvc4-1.4
Main Page
Related Pages
Namespaces
Data Structures
Files
File List
Globals
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
27
class
CVC4_PUBLIC
Proof
{
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 */
CVC4
Definition:
modal_exception.h:27
CVC4_PUBLIC
#define CVC4_PUBLIC
Definition:
cvc4_public.h:30
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary...
CVC4::Proof::~Proof
virtual ~Proof()
Definition:
proof.h:29
CVC4::Proof
Definition:
proof.h:27
CVC4::options::out
struct CVC4::options::out__option_t out
src
util
proof.h
Generated by
1.8.9.1