#include <type.H>
Collaboration diagram for hobbes::PolyType:
Public Member Functions | |
| PolyType (int vs, const QualTypePtr &qt) | |
| PolyType (const QualTypePtr &qt) | |
| int | typeVariables () const |
| QualTypePtr | instantiate () const |
| void | show (std::ostream &) const |
| bool | operator== (const PolyType &rhs) const |
| const QualTypePtr & | qualtype () const |
Private Attributes | |
| int | vs |
| QualTypePtr | qt |
Constructor & Destructor Documentation
◆ PolyType() [1/2]
| hobbes::PolyType::PolyType | ( | int | vs, |
| const QualTypePtr & | qt | ||
| ) |
◆ PolyType() [2/2]
| hobbes::PolyType::PolyType | ( | const QualTypePtr & | qt | ) |
Member Function Documentation
◆ instantiate()
| QualTypePtr hobbes::PolyType::instantiate | ( | ) | const |
◆ operator==()
| bool hobbes::PolyType::operator== | ( | const PolyType & | rhs | ) | const |
◆ qualtype()
| const QualTypePtr & hobbes::PolyType::qualtype | ( | ) | const |
◆ show()
| void hobbes::PolyType::show | ( | std::ostream & | out | ) | const |
◆ typeVariables()
| int hobbes::PolyType::typeVariables | ( | ) | const |
Member Data Documentation
◆ qt
|
private |
◆ vs
|
private |
The documentation for this class was generated from the following files:
