CVC3
|
#include <clause.h>
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) |
|
inline |
string CVC3::CompactClause::toString | ( | ) | const |
Definition at line 184 of file clause.cpp.
Referenced by CVC3::SearchEngineFast::propagate().
|
friend |
Definition at line 164 of file clause.cpp.
|
private |
Definition at line 288 of file clause.h.
Referenced by CVC3::operator<<().