mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 21:38:44 +00:00
Code Activity

virtual -> override

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-03-25 17:57:06 -07:00
parent 6c96f855db
commit 0ae3de9916
1 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
src/ast/special_relations_decl_plugin.h
View file

@ -40,19 +40,19 @@ class special_relations_decl_plugin : public decl_plugin {
symbol m_to; symbol m_to;
public: public:
special_relations_decl_plugin(); special_relations_decl_plugin();
virtual ~special_relations_decl_plugin() {}
virtual decl_plugin * mk_fresh() { ~special_relations_decl_plugin() override {}
decl_plugin * mk_fresh() override {
return alloc(special_relations_decl_plugin); return alloc(special_relations_decl_plugin);
} }
virtual func_decl * mk_func_decl(decl_kind k, unsigned num_parameters, parameter const * parameters, func_decl * mk_func_decl(decl_kind k, unsigned num_parameters, parameter const * parameters,
unsigned arity, sort * const * domain, sort * range); unsigned arity, sort * const * domain, sort * range) override;
virtual void get_op_names(svector<builtin_name> & op_names, symbol const & logic); void get_op_names(svector<builtin_name> & op_names, symbol const & logic) override;
sort * mk_sort(decl_kind k, unsigned num_parameters, parameter const * parameters) override { return nullptr; }
virtual sort * mk_sort(decl_kind k, unsigned num_parameters, parameter const * parameters) { return 0; }
}; };
enum sr_property { enum sr_property {