当前位置: 首页>>代码示例>>C++>>正文


C++ name::is_atomic方法代码示例

本文整理汇总了C++中name::is_atomic方法的典型用法代码示例。如果您正苦于以下问题:C++ name::is_atomic方法的具体用法?C++ name::is_atomic怎么用?C++ name::is_atomic使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在name的用法示例。


在下文中一共展示了name::is_atomic方法的3个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。

示例1: add_namespace

environment add_namespace(environment const & env, name const & ns) {
    scope_mng_ext ext = get_extension(env);
    if (!ext.m_namespace_set.contains(ns)) {
        ext.m_namespace_set.insert(ns);
        environment r = update(env, ext);
        r = module::add(r, *g_new_namespace_key, [=](environment const &, serializer & s) { s << ns; });
        if (ns.is_atomic())
            return r;
        else
            return add_namespace(r, ns.get_prefix());
    } else {
        return env;
    }
}
开发者ID:soonhokong,项目名称:lean-osx,代码行数:14,代码来源:scoped_ext.cpp

示例2: is_explicit_placeholder

static bool is_explicit_placeholder(name const & n) {
    return !n.is_atomic() && n.get_prefix() == *g_explicit_placeholder_name;
}
开发者ID:sakas--,项目名称:lean,代码行数:3,代码来源:placeholder.cpp

示例3: is_placeholder

static bool is_placeholder(name const & n) {
    if (n.is_atomic())
        return false;
    name const & p = n.get_prefix();
    return p == *g_implicit_placeholder_name || p == *g_strict_placeholder_name || p == *g_explicit_placeholder_name;
}
开发者ID:sakas--,项目名称:lean,代码行数:6,代码来源:placeholder.cpp


注:本文中的name::is_atomic方法示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。