hobbes: hobbes::EqualTypes Class Reference

hobbes

a language, embedded compiler, and runtime for efficient dynamic expression evaluation, data storage and analysis

#include <equal.H>

Inheritance diagram for hobbes::EqualTypes:

Inheritance graph

Collaboration diagram for hobbes::EqualTypes:

Collaboration graph

Public Member Functions
bool	refine (const TEnvPtr &, const ConstraintPtr &, MonoTypeUnifier , Definitions )

bool	satisfied (const TEnvPtr &, const ConstraintPtr &, Definitions *) const

bool	satisfiable (const TEnvPtr &, const ConstraintPtr &, Definitions *) const

void	explain (const TEnvPtr &tenv, const ConstraintPtr &cst, const ExprPtr &e, Definitions ds, annmsgs msgs)

ExprPtr	unqualify (const TEnvPtr &, const ConstraintPtr &, const ExprPtr &, Definitions *) const

PolyTypePtr	lookup (const std::string &vn) const

SymSet	bindings () const

FunDeps	dependencies (const ConstraintPtr &) const

Static Public Member Functions
static std::string	constraintName ()

Member Function Documentation

◆ bindings()

SymSet hobbes::EqualTypes::bindings ( ) const

virtual

Implements hobbes::Unqualifier.

◆ constraintName()

std::string hobbes::EqualTypes::constraintName ( )

static

◆ dependencies()

FunDeps hobbes::EqualTypes::dependencies ( const ConstraintPtr & ) const

virtual

Implements hobbes::Unqualifier.

◆ explain()

void hobbes::EqualTypes::explain	(	const TEnvPtr &	tenv,
		const ConstraintPtr &	cst,
		const ExprPtr &	e,
		Definitions *	ds,
		annmsgs *	msgs
	)

virtual

Implements hobbes::Unqualifier.

◆ lookup()

PolyTypePtr hobbes::EqualTypes::lookup ( const std::string & vn ) const

virtual

Implements hobbes::Unqualifier.

◆ refine()

bool hobbes::EqualTypes::refine	(	const TEnvPtr &	tenv,
		const ConstraintPtr &	cst,
		MonoTypeUnifier *	s,
		Definitions *
	)

virtual

Implements hobbes::Unqualifier.

◆ satisfiable()

bool hobbes::EqualTypes::satisfiable	(	const TEnvPtr &	tenv,
		const ConstraintPtr &	cst,
		Definitions *	ds
	)		const

virtual

Implements hobbes::Unqualifier.

◆ satisfied()

bool hobbes::EqualTypes::satisfied	(	const TEnvPtr &	tenv,
		const ConstraintPtr &	cst,
		Definitions *
	)		const

virtual

Implements hobbes::Unqualifier.

◆ unqualify()

ExprPtr hobbes::EqualTypes::unqualify	(	const TEnvPtr &	tenv,
		const ConstraintPtr &	cst,
		const ExprPtr &	e,
		Definitions *
	)		const

virtual

Implements hobbes::Unqualifier.

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

include/hobbes/lang/preds/equal.H
lib/hobbes/lang/preds/equal.C