CVCL::CompactClause Class Reference

#include <clause.h>

Collaboration diagram for CVCL::CompactClause:

[legend]List of all members.

Public Member Functions

• CompactClause (const Clause &c)
• std::string toString () const

Private Attributes

• Clause d_clause

Friends

• std::ostream & operator<< (std::ostream &os, const CompactClause &c)

---

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 )  [friend]

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:

• clause.h
• clause.cpp

---