#include <clause.h>
Collaboration diagram for CVC3::CompactClause:
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
Constructor & Destructor Documentation
|
inline |
Member Function Documentation
| string CVC3::CompactClause::toString | ( | ) | const |
Definition at line 184 of file clause.cpp.
Referenced by CVC3::SearchEngineFast::propagate().
Friends And Related Function Documentation
|
friend |
Definition at line 164 of file clause.cpp.
Member Data Documentation
|
private |
Definition at line 288 of file clause.h.
Referenced by CVC3::operator<<().
The documentation for this class was generated from the following files:
