本文整理汇总了C++中environment::is_builtin方法的典型用法代码示例。如果您正苦于以下问题：C++ environment::is_builtin方法的具体用法？C++ environment::is_builtin怎么用？C++ environment::is_builtin使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类environment的用法示例。
在下文中一共展示了environment::is_builtin方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: print_axioms
void print_axioms(expr const & ex) {
for_each(ex, [&] (expr const & e, unsigned) {
if (is_constant(e) && !m_already_printed.count(const_name(e))) {
auto decl = m_env.get(const_name(e));
m_already_printed.insert(decl.get_name());
print_axioms(decl);
if (decl.is_constant_assumption() && !m_env.is_builtin(decl.get_name()))
print_decl(decl);
}
return true;
});
}