mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

ast: remove 2 default constructors

Browse source
This commit is contained in:
Nuno Lopes 2021-05-24 14:59:03 +01:00
parent 2ebab021f2
commit 36ca98cbbe
2 changed files with 1 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/ast/ast.cpp
View file

@ -174,14 +174,6 @@ decl_info::decl_info(family_id family_id, decl_kind k, unsigned num_parameters,
m_private_parameters(private_params) { m_private_parameters(private_params) {
} }
decl_info::decl_info(decl_info const& other) :
m_family_id(other.m_family_id),
m_kind(other.m_kind),
m_parameters(other.m_parameters.size(), other.m_parameters.data()),
m_private_parameters(other.m_private_parameters) {
}
void decl_info::init_eh(ast_manager & m) { void decl_info::init_eh(ast_manager & m) {
for (parameter & p : m_parameters) { for (parameter & p : m_parameters) {
p.init_eh(m); p.init_eh(m);

5
src/ast/ast.h
View file

@ -267,8 +267,6 @@ public:
decl_info(family_id family_id = null_family_id, decl_kind k = null_decl_kind, decl_info(family_id family_id = null_family_id, decl_kind k = null_decl_kind,
unsigned num_parameters = 0, parameter const * parameters = nullptr, bool private_params = false); unsigned num_parameters = 0, parameter const * parameters = nullptr, bool private_params = false);
decl_info(decl_info const& other);
void init_eh(ast_manager & m); void init_eh(ast_manager & m);
void del_eh(ast_manager & m); void del_eh(ast_manager & m);
@ -368,8 +366,7 @@ public:
unsigned num_parameters = 0, parameter const * parameters = nullptr, bool private_parameters = false): unsigned num_parameters = 0, parameter const * parameters = nullptr, bool private_parameters = false):
decl_info(family_id, k, num_parameters, parameters, private_parameters), m_num_elements(num_elements) { decl_info(family_id, k, num_parameters, parameters, private_parameters), m_num_elements(num_elements) {
} }
sort_info(sort_info const& other) : decl_info(other), m_num_elements(other.m_num_elements) {
}
sort_info(decl_info const& di, sort_size const& num_elements) : sort_info(decl_info const& di, sort_size const& num_elements) :
decl_info(di), m_num_elements(num_elements) {} decl_info(di), m_num_elements(num_elements) {}