CVC3::Proof Class Reference

#include <proof.h>

Collaboration diagram for CVC3::Proof:

Collaboration graph
[legend]

List of all members.

Public Member Functions

Private Attributes

Friends


Detailed Description

Definition at line 38 of file proof.h.


Constructor & Destructor Documentation

CVC3::Proof::Proof ( const Expr e  )  [inline]

Definition at line 43 of file proof.h.

CVC3::Proof::Proof ( const Proof p  )  [inline]

Definition at line 44 of file proof.h.

CVC3::Proof::Proof (  )  [inline]

Definition at line 45 of file proof.h.


Member Function Documentation

Expr CVC3::Proof::getExpr (  )  const [inline]

bool CVC3::Proof::isNull (  )  const [inline]

std::string CVC3::Proof::toString (  )  const [inline]

Definition at line 50 of file proof.h.


Friends And Related Function Documentation

std::ostream& operator<< ( std::ostream &  os,
const Proof pf 
) [friend]

Definition at line 57 of file proof.h.


Member Data Documentation

Definition at line 40 of file proof.h.

Referenced by getExpr(), and isNull().


The documentation for this class was generated from the following file:

Generated on Thu Oct 15 22:19:45 2009 for CVC3 by  doxygen 1.5.8