CVC3::CompactClause Class Reference

#include <clause.h>

Collaboration diagram for CVC3::CompactClause:

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 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:

• clause.h
• clause.cpp