| 144 | } |
| 145 | |
| 146 | SymbolicFunctionVariable::SymbolicFunctionVariable( |
| 147 | frontend::Type const* _type, |
| 148 | std::string _uniqueName, |
| 149 | EncodingContext& _context |
| 150 | ): |
| 151 | SymbolicVariable(_type, _type, std::move(_uniqueName), _context), |
| 152 | m_declaration(m_context.newVariable(currentName(), m_sort)) |
| 153 | { |
| 154 | solAssert(m_type->category() == frontend::Type::Category::Function, ""); |
| 155 | } |
| 156 | |
| 157 | SymbolicFunctionVariable::SymbolicFunctionVariable( |
| 158 | SortPointer _sort, |
nothing calls this directly
no test coverage detected