diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-03-05 12:59:23 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-05 12:59:23 -0800 |
commit | d1aa4ae101987093a06208650e2ea4878f7437ca (patch) | |
tree | 38fdf20cb5114326d8f70a300b6ff3e698268daa | |
parent | 78cd7af7b3897d630ad375f72d43b4c67df6d557 (diff) |
Add CVC4_PUBLIC keyword to overloads of << for Expr containers. (#1644)
-rw-r--r-- | src/expr/expr_template.h | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h index f406981a8..8cc87cfff 100644 --- a/src/expr/expr_template.h +++ b/src/expr/expr_template.h @@ -151,7 +151,8 @@ std::ostream& operator<<(std::ostream& out, const Expr& e) CVC4_PUBLIC; * @param container the vector of expressions to output to the stream * @return the stream */ -std::ostream& operator<<(std::ostream& out, const std::vector<Expr>& container); +std::ostream& operator<<(std::ostream& out, + const std::vector<Expr>& container) CVC4_PUBLIC; /** * Serialize a set of expressions to the given stream. @@ -160,7 +161,8 @@ std::ostream& operator<<(std::ostream& out, const std::vector<Expr>& container); * @param container the set of expressions to output to the stream * @return the stream */ -std::ostream& operator<<(std::ostream& out, const std::set<Expr>& container); +std::ostream& operator<<(std::ostream& out, + const std::set<Expr>& container) CVC4_PUBLIC; /** * Serialize an unordered_set of expressions to the given stream. @@ -171,7 +173,7 @@ std::ostream& operator<<(std::ostream& out, const std::set<Expr>& container); */ std::ostream& operator<<( std::ostream& out, - const std::unordered_set<Expr, ExprHashFunction>& container); + const std::unordered_set<Expr, ExprHashFunction>& container) CVC4_PUBLIC; /** * Serialize a map of expressions to the given stream. @@ -181,7 +183,8 @@ std::ostream& operator<<( * @return the stream */ template <typename V> -std::ostream& operator<<(std::ostream& out, const std::map<Expr, V>& container); +std::ostream& operator<<(std::ostream& out, + const std::map<Expr, V>& container) CVC4_PUBLIC; /** * Serialize an unordered_map of expressions to the given stream. @@ -193,7 +196,7 @@ std::ostream& operator<<(std::ostream& out, const std::map<Expr, V>& container); template <typename V> std::ostream& operator<<( std::ostream& out, - const std::unordered_map<Expr, V, ExprHashFunction>& container); + const std::unordered_map<Expr, V, ExprHashFunction>& container) CVC4_PUBLIC; // for hash_maps, hash_sets.. struct ExprHashFunction { |