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

Method isPtr

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

Source from the content-addressed store, hash-verified

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); }
63expr Type::isVector() const { return is(SymbolicType::Vector); }
64expr Type::isStruct() const { return is(SymbolicType::Struct); }

Callers 1

toSMTMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected