cvc4-1.4
Main Page
Related Pages
Namespaces
Data Structures
Files
Data Structures
Data Structure Index
Class Hierarchy
Data Fields
Public Member Functions
CVC4::Proof Class Reference
abstract
#include <
proof.h
>
Public Member Functions
virtual
~Proof
()
virtual void
toStream
(std::ostream &out)=0
Detailed Description
Definition at line
27
of file
proof.h
.
Constructor & Destructor Documentation
virtual CVC4::Proof::~Proof
(
)
inline
virtual
Definition at line
29
of file
proof.h
.
Member Function Documentation
virtual void CVC4::Proof::toStream
(
std::ostream &
out
)
pure virtual
The documentation for this class was generated from the following file:
src/util/
proof.h
CVC4
Proof
Generated by
1.8.9.1