TCConstraints Struct Reference

#include <Typeclass.hxx>

Public Types
typedef TypeSet::iterator	iterator
Public Member Functions
	TCConstraints ()
bool	empty () const
size_t	size () const
void	addPred (boost::shared_ptr< Typeclass > tc)
void	clearPred (boost::shared_ptr< Constraint > ct)
void	normalize ()
	Re-build a type class constrain set from scratch, with the side effect that subsumption relations are re-checked.
bool	contains (boost::shared_ptr< Typeclass > tc)
void	collectAllFnDeps (TypeSet &fnDeps)
void	clearHintsOnPreds (boost::shared_ptr< Trail > trail)
iterator	begin ()
iterator	end ()
Static Public Member Functions
static void	close (TypeSet &closure, const TypeSet &fnDeps)
static boost::shared_ptr< TCConstraints >	make ()
Data Fields
TypeSet	pred

---

Detailed Description

Definition at line 105 of file Typeclass.hxx.

---

Member Typedef Documentation

typedef TypeSet::iterator TCConstraints::iterator

Definition at line 108 of file Typeclass.hxx.

---

Constructor & Destructor Documentation

TCConstraints::TCConstraints

(

)

[inline]

Definition at line 110 of file Typeclass.hxx.

Referenced by make().

---

Member Function Documentation

void TCConstraints::addPred

(

boost::shared_ptr< Typeclass >

tc

)

Referenced by normalize().

iterator TCConstraints::begin

(

)

[inline]

Definition at line 137 of file Typeclass.hxx.

References pred.

Referenced by collectAllFnDeps().

void TCConstraints::clearHintsOnPreds

(

boost::shared_ptr< Trail >

trail

)

void TCConstraints::clearPred

(

boost::shared_ptr< Constraint >

ct

)

void TCConstraints::close	(	TypeSet &	closure,
		const TypeSet &	fnDeps
	)			[static]

Definition at line 211 of file Typeclass.cxx.

Referenced by remftvsWrtFnDeps().

void TCConstraints::collectAllFnDeps

(

TypeSet &

fnDeps

)

Definition at line 190 of file Typeclass.cxx.

References assert(), begin(), and end().

bool TCConstraints::contains

(

boost::shared_ptr< Typeclass >

tc

)

bool TCConstraints::empty

(

)

const [inline]

Definition at line 114 of file Typeclass.hxx.

References pred.

iterator TCConstraints::end

(

)

[inline]

Definition at line 140 of file Typeclass.hxx.

References pred.

Referenced by collectAllFnDeps().

static boost::shared_ptr<TCConstraints> TCConstraints::make

(

)

[inline, static]

Definition at line 145 of file Typeclass.hxx.

References TCConstraints().

Referenced by checkConstraints(), UocInfo::DoTypeCheck(), InferInstance(), InferObject(), InferStruct(), InferTypeClass(), InferUnion(), TypeScheme::ts_instance(), and typeInfer().

void TCConstraints::normalize

(

)

Re-build a type class constrain set from scratch, with the side effect that subsumption relations are re-checked.

Definition at line 122 of file Constraints.cxx.

References addPred(), and pred.

size_t TCConstraints::size

(

)

const [inline]

Definition at line 118 of file Typeclass.hxx.

References pred.

---

Field Documentation

TypeSet TCConstraints::pred

Definition at line 107 of file Typeclass.hxx.

Referenced by begin(), empty(), end(), normalize(), and size().

---

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

• Typeclass.hxx
• Constraints.cxx
• Typeclass.cxx

---