| 59 | expr Type::isInt() const { return is(SymbolicType::Int); } |
| 60 | expr Type::isFloat() const { return is(SymbolicType::Float); } |
| 61 | expr Type::isPtr() const { return is(SymbolicType::Ptr); } |
| 62 | expr Type::isArray() const { return is(SymbolicType::Array); } |
| 63 | expr Type::isVector() const { return is(SymbolicType::Vector); } |
| 64 | expr Type::isStruct() const { return is(SymbolicType::Struct); } |