class.C File Reference

#include <hobbes/lang/preds/class.H>
#include <hobbes/lang/expr.H>
#include <hobbes/lang/tyunqualify.H>
#include <hobbes/lang/typeinf.H>
#include <hobbes/lang/typepreds.H>
#include <hobbes/util/array.H>
#include <hobbes/util/codec.H>
#include <hobbes/util/perf.H>

Include dependency graph for class.C:

Classes
struct	hobbes::TCUnqualify

Namespaces
	hobbes

Typedefs
typedef std::vector< const TClass * >	hobbes::Classes

Functions
bool	hobbes::isHiddenTCName (const std::string &n)
FunDeps	hobbes::mergeFundeps (const FunDeps &lhs, const FunDeps &rhs)
void	hobbes::includeFundep (const Constraint &c, const FunDep &fd, FunDeps *out)
FunDeps	hobbes::inferFundeps (const TEnvPtr &tenv, const Constraints &cs)
bool	hobbes::isLiteralFnTerm (const ExprPtr &e)
void	hobbes::showFundep (const FunDep &fd, std::ostream &out)
void	hobbes::definePrivateClass (const TEnvPtr &tenv, const std::string &memberName, const ExprPtr &expr)
Constraints	hobbes::expandHiddenTCs (const TEnvPtr &, const Constraints &)
const TClass *	hobbes::findClass (const TEnvPtr &tenv, const std::string &cname)
bool	hobbes::isClassSatisfied (const TEnvPtr &, const std::string &, const MonoTypes &, Definitions *)
bool	hobbes::isClassSatisfiable (const TEnvPtr &, const std::string &, const MonoTypes &, Definitions *)
ExprPtr	hobbes::unqualifyClass (const TEnvPtr &, const std::string &, const MonoTypes &, const ExprPtr &, Definitions *)
bool	hobbes::isClassMember (const TEnvPtr &tenv, const std::string &memberName)
std::string	hobbes::show (const TClassPtr &)
std::string	hobbes::show (const TCInstancePtr &)
std::string	hobbes::show (const TCInstanceFnPtr &)
void	hobbes::serializeGroundInstance (const TEnvPtr &tenv, const TClass *c, const TCInstancePtr &inst, std::ostream &out)
void	hobbes::serializeGroundInstances (const TEnvPtr &tenv, const TClass *c, const TCInstances &insts, std::ostream &out)
void	hobbes::serializeGroundClasses (const TEnvPtr &tenv, const Classes &cs, std::ostream &out)
void	hobbes::serializeGroundClasses (const TEnvPtr &, std::ostream &)
void	hobbes::deserializeGroundClasses (const TEnvPtr &, std::istream &, Definitions *)