CVC3
Public Member Functions | Private Attributes | Friends | List of all members
CVC3::CompactClause Class Reference

#include <clause.h>

Collaboration diagram for CVC3::CompactClause:
Collaboration graph

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 286 of file clause.h.

Constructor & Destructor Documentation

CVC3::CompactClause::CompactClause ( const Clause c)
inline

Definition at line 290 of file clause.h.

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

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

Definition at line 164 of file clause.cpp.

Member Data Documentation

Clause CVC3::CompactClause::d_clause
private

Definition at line 288 of file clause.h.

Referenced by CVC3::operator<<().


The documentation for this class was generated from the following files: