max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

feat(library/attribute_manager): add get_attribute_fingerprint C++ API

Browse source
This commit is contained in:
Leonardo de Moura 2016-08-23 15:41:40 -07:00
parent bc3b01828d
commit 5dca96a2a2
2 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/library/attribute_manager.cpp
View file

@ -260,6 +260,10 @@ bool are_incompatible(attribute const & attr1, attribute const & attr2) {
return std::find(g_incomp->begin(), g_incomp->end(), mk_pair(s1, s2)) != g_incomp->end();
}
unsigned get_attribute_fingerprint(environment const & env, name const & attr) {
return get_attribute(env, attr).get_fingerprint(env);
}
void initialize_attribute_manager() {
g_system_attributes = new name_map<attribute_ptr>();
g_user_attribute_ext.reset(new user_attribute_ext());

2
src/library/attribute_manager.h
View file

@ -184,6 +184,8 @@ bool has_attribute(environment const & env, name const & attr, name const & d);
bool are_incompatible(attribute const & attr1, attribute const & attr2);
unsigned get_attribute_fingerprint(environment const & env, name const & attr);
void initialize_attribute_manager();
void finalize_attribute_manager();
}