mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

fix MSVC build

Browse source
This commit is contained in:
Nuno Lopes 2021-02-18 19:05:20 +00:00
parent 1105f4aea8
commit 14de590566
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/ast/is_variable_test.h
View file

@ -21,12 +21,12 @@ Revision History:
#include "ast/ast.h" #include "ast/ast.h"
#include "util/uint_set.h" #include "util/uint_set.h"
class is_variable_proc : public std::unary_function<expr*,bool> { class is_variable_proc {
public: public:
virtual bool operator()(const expr* e) const = 0; virtual bool operator()(const expr* e) const = 0;
}; };
class is_variable_test : public is_variable_proc { class is_variable_test final : public is_variable_proc {
enum is_var_kind { BY_VAR_SET, BY_VAR_SET_COMPLEMENT, BY_NUM_DECLS }; enum is_var_kind { BY_VAR_SET, BY_VAR_SET_COMPLEMENT, BY_NUM_DECLS };
uint_set m_var_set; uint_set m_var_set;
unsigned m_num_decls; unsigned m_num_decls;