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.