C++ (Cpp) RelToStringの例

コード例 #1

ファイル: SymbolicOperator.C プロジェクト: billhoffman/rose-develop

CompareRel CompareValHelp(const SymbolicVal &v1, const SymbolicVal &v2, 
                      MapObject<SymbolicVal,SymbolicBound>* f)
{
    CompareRel r = REL_UNKNOWN;
    if (++comparetime < COMPARE_MAX)
        r = ValCompare(f)(v1,v2); 
    if (DebugCompareVal())
         std::cerr << v1.toString() << RelToString(r) << v2.toString() << " under " << f << std::endl;
     return r;
   }

コード例 #2

ファイル: SymbolicVal.C プロジェクト: Federico2014/edg4x-rose

std::string SymbolicCond :: toString() const
{
  std::string r = val1.toString() + RelToString(GetRelType()) + val2.toString();
  return r;
}