hobbes::ConstraintSet Class Reference

#include <constraints.H>

Collaboration diagram for hobbes::ConstraintSet:

Public Member Functions
	ConstraintSet ()
void	insert (const TEnvPtr &, const ConstraintPtr &, MonoTypeUnifier *)
Constraints	constraints () const

Private Types
typedef type_map< ConstraintPtr >	CSet

Private Attributes
CSet	csts

Member Typedef Documentation

CSet

typedef type_map<ConstraintPtr> hobbes::ConstraintSet::CSet

private

Constructor & Destructor Documentation

ConstraintSet()

hobbes::ConstraintSet::ConstraintSet

(

)

Member Function Documentation

constraints()

Constraints hobbes::ConstraintSet::constraints

(

)

const

insert()

void hobbes::ConstraintSet::insert	(	const TEnvPtr &	tenv,
		const ConstraintPtr &	c,
		MonoTypeUnifier *	s
	)

Member Data Documentation

csts

CSet hobbes::ConstraintSet::csts

private

---

The documentation for this class was generated from the following files:

• include/hobbes/lang/constraints.H
• lib/hobbes/lang/constraints.C