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

Method isFloatType

ir/type.cpp:97–99  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

95}
96
97bool Type::isFloatType() const {
98 return false;
99}
100
101bool Type::isPtrType() const {
102 return false;

Callers 5

alive_parser.cppFile · 0.80
hashMethod · 0.80
encodeMethod · 0.80
fm_poisonFunction · 0.80
toSMTMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected