typepreds.C File Reference

#include <hobbes/lang/typepreds.H>
#include <hobbes/lang/expr.H>
#include <hobbes/lang/typeinf.H>

Include dependency graph for typepreds.C:

Namespaces
	hobbes

Functions
bool	hobbes::hasConstraint (const ConstraintPtr &c, const Constraints &cs)
bool	hobbes::hasConstraint (const ConstraintPtr &c, const QualTypePtr &qt)
Constraints	hobbes::removeConstraint (const ConstraintPtr &c, const Constraints &cs)
QualTypePtr	hobbes::removeConstraint (const ConstraintPtr &c, const QualTypePtr &qt)