Typeclass.hxx File Reference

#include <stdlib.h>
#include <dirent.h>
#include <fstream>
#include <iostream>
#include <string>
#include <set>
#include "AST.hxx"
#include "Type.hxx"

Go to the source code of this file.

Data Structures

struct  Instance
struct  TCConstraints

Typedefs

typedef Type Typeclass
typedef Typeclass Constraint
typedef TCConstraints Constraints
typedef TypeSet TypeclassSet
typedef TypeSet ConstraintSet

Functions

static int operator< (const boost::shared_ptr< Instance > &lhs, const boost::shared_ptr< Instance > &rhs)


Typedef Documentation

typedef Typeclass Constraint

Definition at line 55 of file Typeclass.hxx.

typedef TCConstraints Constraints

Definition at line 56 of file Typeclass.hxx.

typedef TypeSet ConstraintSet

Definition at line 59 of file Typeclass.hxx.

typedef Type Typeclass

Definition at line 52 of file Typeclass.hxx.

typedef TypeSet TypeclassSet

Definition at line 58 of file Typeclass.hxx.


Function Documentation

static int operator< ( const boost::shared_ptr< Instance > &  lhs,
const boost::shared_ptr< Instance > &  rhs 
) [static]

Definition at line 95 of file Typeclass.hxx.


Generated on Thu May 17 23:59:16 2012 for BitC Compiler by  doxygen 1.4.7