|
tipc
A TIP to LLVM compiler
|
Abstract class for handling type constraints as they are generated. More...
#include <ConstraintHandler.h>

Public Member Functions | |
| virtual | ~ConstraintHandler ()=default |
| virtual void | handle (std::shared_ptr< TipType > t1, std::shared_ptr< TipType > t2)=0 |
Abstract class for handling type constraints as they are generated.
|
virtualdefault |
|
pure virtual |
Implemented in ConstraintUnifier, and ConstraintCollector.