diff options
Diffstat (limited to 'examples/hashsmt/word.h')
| -rw-r--r-- | examples/hashsmt/word.h | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/examples/hashsmt/word.h b/examples/hashsmt/word.h index 4a1d142f4..f5b95ba32 100644 --- a/examples/hashsmt/word.h +++ b/examples/hashsmt/word.h @@ -35,20 +35,20 @@ namespace hashsmt { class Word { /** Expression managaer we're using for all word expressions */ - static CVC5::ExprManager* s_manager; + static cvc5::ExprManager* s_manager; protected: /** The expression of this word */ - CVC5::Expr d_expr; + cvc5::Expr d_expr; /** Get the expression manager words are using */ - static CVC5::ExprManager* em(); + static cvc5::ExprManager* em(); - Word(CVC5::Expr expr = CVC5::Expr()) : d_expr(expr) {} + Word(cvc5::Expr expr = cvc5::Expr()) : d_expr(expr) {} /** Extend the representing expression to the given size >= size() */ - CVC5::Expr extendToSize(unsigned size) const; + cvc5::Expr extendToSize(unsigned size) const; public: @@ -70,10 +70,10 @@ class Word { void print(std::ostream& out) const; - CVC5::Expr getExpr() const { return d_expr; } + cvc5::Expr getExpr() const { return d_expr; } /** Returns the comparison expression */ - CVC5::Expr operator==(const Word& b) const; + cvc5::Expr operator==(const Word& b) const; /** Concatenate the given words */ static Word concat(const Word words[], unsigned size); |