diff options
| author | Dejan Jovanovic <dejan.jovanovic@gmail.com> | 2014-05-07 23:26:42 -0700 |
|---|---|---|
| committer | Dejan Jovanovic <dejan.jovanovic@gmail.com> | 2014-05-07 23:26:42 -0700 |
| commit | fdbc8e0582dfe1addb229d406201a2ec1d513959 (patch) | |
| tree | ed2c0e8782a88386d1977f53b8b3cbd26ed5d3a4 /examples/hashsmt/word.h | |
| parent | 021be18a8d84179966703f07f8f98d2c9193e248 (diff) | |
Adding encoding of sha1 collision for the hashing example
Diffstat (limited to 'examples/hashsmt/word.h')
| -rw-r--r-- | examples/hashsmt/word.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/examples/hashsmt/word.h b/examples/hashsmt/word.h index f8c03f7b2..dd1c2dc38 100644 --- a/examples/hashsmt/word.h +++ b/examples/hashsmt/word.h @@ -79,6 +79,9 @@ public: /** Returns the comparison expression */ CVC4::Expr operator == (const Word& b) const; + + /** Concatenate the given words */ + static Word concat(const Word words[], unsigned size); }; inline std::ostream& operator << (std::ostream& out, const Word& word) { |