diff options
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) { |