CVCL::CompactClause Class Reference

#include <clause.h>

Collaboration diagram for CVCL::CompactClause:

Collaboration graph
List of all members.

Public Member Functions

Private Attributes


Detailed Description

Definition at line 294 of file clause.h.

Constructor & Destructor Documentation

CVCL::CompactClause::CompactClause const Clause c  )  [inline]

Definition at line 298 of file clause.h.

Member Function Documentation

string CVCL::CompactClause::toString  )  const

Definition at line 192 of file clause.cpp.

Friends And Related Function Documentation

std::ostream& operator<< std::ostream &  os,
const CompactClause c

Definition at line 172 of file clause.cpp.

Member Data Documentation

Clause CVCL::CompactClause::d_clause [private]

Definition at line 296 of file clause.h.

Referenced by CVCL::operator<<().

The documentation for this class was generated from the following files:
Generated on Thu Apr 13 16:57:42 2006 for CVC Lite by  doxygen 1.4.4