hobbes::scoped_unification_suppression Class Reference

#include <typeinf.H>

Collaboration diagram for hobbes::scoped_unification_suppression:

Public Member Functions
	scoped_unification_suppression (MonoTypeUnifier *, const std::string &)
	~scoped_unification_suppression ()

Private Attributes
MonoTypeUnifier *	u
std::string	sv

Constructor & Destructor Documentation

scoped_unification_suppression()

hobbes::scoped_unification_suppression::scoped_unification_suppression	(	MonoTypeUnifier *	u,
		const std::string &	sv
	)

~scoped_unification_suppression()

hobbes::scoped_unification_suppression::~scoped_unification_suppression

(

)

Member Data Documentation

sv

std::string hobbes::scoped_unification_suppression::sv

private

u

MonoTypeUnifier* hobbes::scoped_unification_suppression::u

private

---

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

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