C++ (Cpp) to_ansi_c_stringの例

コード例 #1

ファイル: bv_arithmetic.cpp プロジェクト: diffblue/cbmc

void bv_arithmetict::print(std::ostream &out) const
{
  out << to_ansi_c_string();
}

コード例 #2

ファイル: ieee_float.cpp プロジェクト: eigold/cbmc

void ieee_floatt::print(std::ostream &out) const
{
  out << to_ansi_c_string();
}