| 57 | } |
| 58 | |
| 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); } |