MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / toString

Method toString

ir/type.cpp:287–291  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

285}
286
287string Type::toString() const {
288 ostringstream s;
289 print(s);
290 return s.str();
291}
292
293Type::~Type() {}
294

Callers 4

verifyMethod · 0.45
value.cppFile · 0.45
print_typeClass · 0.45
toSMTMethod · 0.45

Calls 1

strMethod · 0.80

Tested by

no test coverage detected