Unify_Size Class Reference#include <unification.h>
List of all members.
Constructor & Destructor Documentation
Unify_Size::Unify_Size |
( |
int |
size |
) |
[inline] |
|
Unify_Size::Unify_Size |
( |
|
) |
[inline] |
|
Member Function Documentation
bool Unify_Size::is_top |
( |
|
) |
const [inline] |
|
bool Unify_Size::leq |
( |
Unify_Size |
o |
) |
const [inline] |
|
int Unify_Size::size |
( |
void |
|
) |
const [inline] |
|
static int Unify_Size::sizeOf |
( |
typeNode * |
ty |
) |
[static] |
|
string Unify_Size::str |
( |
|
) |
const |
|
Member Data Documentation
The documentation for this class was generated from the following file:
|