assumptions.cpp File Reference

Implementation of class Assumptions. More...

#include <algorithm>
#include "assumptions.h"

Include dependency graph for assumptions.cpp:

Go to the source code of this file.

Namespaces

• namespace CVC3

Functions

• Assumptions CVC3::operator- (const Assumptions &a, const Expr &e)
• Assumptions CVC3::operator- (const Assumptions &a, const vector< Expr > &es)
• ostream & CVC3::operator<< (ostream &os, const Assumptions &assump)

---

Detailed Description

Implementation of class Assumptions.

Author: Clark Barrett

Created: Thu Jan 5 06:25:52 2006

---

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 assumptions.cpp.