A runtime error when unifying type terms. More...
#include <UnificationError.h>
Inheritance diagram for UnificationError:
Collaboration diagram for UnificationError:
Public Member Functions | |
| UnificationError (const char *msg) | |
 Public Member Functions inherited from SemanticError | |
| SemanticError (const std::string &msg) | |
| Public Member Functions inherited from Error | |
| Error (const std::string &msg) | |
| virtual const char * | what () const noexcept |
| Construct error with message. More... | |
Detailed Description
A runtime error when unifying type terms.
Constructor & Destructor Documentation
◆ UnificationError()
|
inline |
The documentation for this class was generated from the following file:
- /home/runner/work/tipc/tipc/src/semantic/types/solver/UnificationError.h
