CVC3::CompactClause Class Reference

#include <clause.h>

Collaboration diagram for CVC3::CompactClause:

Collaboration graph
[legend]
List of all members.

Public Member Functions

Private Attributes

Friends


Detailed Description

Definition at line 286 of file clause.h.


Constructor & Destructor Documentation

CVC3::CompactClause::CompactClause ( const Clause c  )  [inline]

Definition at line 290 of file clause.h.


Member Function Documentation

string CVC3::CompactClause::toString (  )  const

Definition at line 184 of file clause.cpp.


Friends And Related Function Documentation

std::ostream& operator<< ( std::ostream &  os,
const CompactClause c 
) [friend]

Definition at line 164 of file clause.cpp.


Member Data Documentation

Clause CVC3::CompactClause::d_clause [private]

Definition at line 288 of file clause.h.

Referenced by CVC3::operator<<().


The documentation for this class was generated from the following files:
Generated on Wed Nov 18 16:14:36 2009 for CVC3 by  doxygen 1.5.2