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

Method printUnsigned

smt/expr.cpp:2432–2434  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2430}
2431
2432void expr::printUnsigned(ostream &os) const {
2433 os << numeral_string();
2434}
2435
2436void expr::printSigned(ostream &os) const {
2437 if (isNegative().isTrue()) {

Callers 4

printValMethod · 0.80
memory.cppFile · 0.80
print_arrayMethod · 0.80
printSignedMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected