C++ (Cpp) Sym::id 예제들

예제 #1

파일: SpecialSymbols.hpp 프로젝트: graehl/hyp

/// \return blockIdForSubstituteSym(sym) - 1 for a 0-based index instead of 1-based
inline BlockId indexForSubstituteSym(Sym sym) {
  assert(isConstraintSubstituteSym(sym));
  return sym.id() - (BLOCK_START::ID.id() + SDL_NUM_BLOCKS);
}

예제 #2

파일: SpecialSymbols.hpp 프로젝트: graehl/hyp

inline BlockId blockIndexForStart(Sym sym) {
  assert(isBlockStartSymbol(sym));
  return sym.id() - BLOCK_START::ID.id();
}

예제 #3

파일: Syms.hpp 프로젝트: graehl/hyp

inline std::string idStr(Sym sym) {
  return detail::toString(sym.id());
}