diff options
| author | Tim King <taking@cs.nyu.edu> | 2017-11-15 02:58:30 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2017-11-15 02:58:30 -0800 |
| commit | 3c130b44fdecc62b1ace2a739e77f913cd606aa0 (patch) | |
| tree | 6abfb806dd45c83606c04dda5c26e9c410ac2ee1 /src/util | |
| parent | 85df7998e4362e0a9c796146d07d7b9e91045a31 (diff) | |
Adding garbage collection for Proof objects. (#1294)
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/proof.h | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/util/proof.h b/src/util/proof.h index b34e4aed9..24f8bf42a 100644 --- a/src/util/proof.h +++ b/src/util/proof.h @@ -31,11 +31,12 @@ struct ExprHashFunction; typedef std::unordered_map<Expr, ProofLetCount, ExprHashFunction> ProofLetMap; -class CVC4_PUBLIC Proof { -public: - virtual ~Proof() { } - virtual void toStream(std::ostream& out) = 0; - virtual void toStream(std::ostream& out, const ProofLetMap& map) = 0; +class CVC4_PUBLIC Proof +{ + public: + virtual ~Proof() {} + virtual void toStream(std::ostream& out) const = 0; + virtual void toStream(std::ostream& out, const ProofLetMap& map) const = 0; };/* class Proof */ }/* CVC4 namespace */ |