C++ (Cpp) is_internal_symbol示例

示例#1

文件： simp_inductive.cpp 项目： soonhokong/lean-osx

optional<unsigned> is_internal_cases(expr const & e) {
    return is_internal_symbol(e, *g_cases);
}

示例#2

文件： simp_inductive.cpp 项目： soonhokong/lean-osx

optional<unsigned> is_internal_proj(expr const & e) {
    return is_internal_symbol(e, *g_proj);
}

示例#3

文件： tape.cpp 项目： donellie/turingmachine

// =========
bool Tape::is_valid_symbol (const symbol_t& symbol_i) const
{
  return (is_input_symbol (symbol_i) || is_internal_symbol (symbol_i) || is_empty_symbol (symbol_i));
}