|
tipc
A TIP to LLVM compiler
|
This is the complete list of members for Unifier, including all inherited members.
| add(std::vector< TypeConstraint >) | Unifier | |
| inferred(std::shared_ptr< TipType > t) | Unifier | |
| isAlpha(std::shared_ptr< TipType > type) | Unifier | static |
| isCons(std::shared_ptr< TipType > type) | Unifier | static |
| isMu(std::shared_ptr< TipType > type) | Unifier | static |
| isProperType(std::shared_ptr< TipType > type) | Unifier | static |
| isVar(std::shared_ptr< TipType > type) | Unifier | static |
| solve() | Unifier | |
| Unifier() | Unifier | |
| Unifier(std::vector< TypeConstraint >) | Unifier | explicit |
| unify(std::shared_ptr< TipType > t1, std::shared_ptr< TipType > t2) | Unifier | |
| ~Unifier()=default | Unifier |
1.9.1