#include <clause.h>
Detailed Description
Definition at line 286 of file clause.h.
Constructor & Destructor Documentation
CVC3::CompactClause::CompactClause |
( |
const Clause & |
c | ) |
|
|
inline |
Member Function Documentation
string CVC3::CompactClause::toString |
( |
| ) |
const |
Friends And Related Function Documentation
std::ostream& operator<< |
( |
std::ostream & |
os, |
|
|
const CompactClause & |
c |
|
) |
| |
|
friend |
Member Data Documentation
Clause CVC3::CompactClause::d_clause |
|
private |
The documentation for this class was generated from the following files: