clause.cpp File Reference

Implementation of class Clause. More...

#include "clause.h"
#include "theory_core.h"

Include dependency graph for clause.cpp:

Go to the source code of this file.

Namespaces

• namespace CVC3

Functions

• ostream & CVC3::operator<< (ostream &os, const Clause &c)
• static void CVC3::printLit (ostream &os, const Literal &l)
• ostream & CVC3::operator<< (std::ostream &os, const CompactClause &c)

---

Detailed Description

Implementation of class Clause.

Author: Sergey Berezin

Created: Mon Apr 28 17:20:23 2003

---

License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.

---

Definition in file clause.cpp.