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

Method isInt

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

Source from the content-addressed store, hash-verified

57}
58
59expr Type::isInt() const { return is(SymbolicType::Int); }
60expr Type::isFloat() const { return is(SymbolicType::Float); }
61expr Type::isPtr() const { return is(SymbolicType::Ptr); }
62expr Type::isArray() const { return is(SymbolicType::Array); }

Callers 3

mainFunction · 0.45
mayaliasMethod · 0.45
toSMTMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected