#include <appendsto.H>

Inheritance diagram for hobbes::ATEliminator:

Collaboration diagram for hobbes::ATEliminator:

Public Member Functions
virtual bool	satisfied (const TEnvPtr &tenv, const MonoTypePtr &lhs, const MonoTypePtr &rhs, const MonoTypePtr &result) const =0

virtual bool	satisfiable (const TEnvPtr &tenv, const MonoTypePtr &lhs, const MonoTypePtr &rhs, const MonoTypePtr &result) const =0

virtual bool	refine (const TEnvPtr &tenv, const MonoTypePtr &lhs, const MonoTypePtr &rhs, const MonoTypePtr &result, MonoTypeUnifier *s)=0

virtual ExprPtr	unqualify (const TEnvPtr &, const ConstraintPtr &, const ExprPtr &, Definitions *) const =0

virtual PolyTypePtr	lookup (const std::string &vn) const =0

virtual SymSet	bindings () const =0

Member Function Documentation

◆ bindings()

virtual SymSet hobbes::ATEliminator::bindings ( ) const

pure virtual

virtual PolyTypePtr hobbes::ATEliminator::lookup ( const std::string & vn ) const

pure virtual

virtual bool hobbes::ATEliminator::refine	(	const TEnvPtr &	tenv,
		const MonoTypePtr &	lhs,
		const MonoTypePtr &	rhs,
		const MonoTypePtr &	result,
		MonoTypeUnifier *	s
	)

pure virtual

virtual bool hobbes::ATEliminator::satisfiable	(	const TEnvPtr &	tenv,
		const MonoTypePtr &	lhs,
		const MonoTypePtr &	rhs,
		const MonoTypePtr &	result
	)		const

pure virtual

virtual bool hobbes::ATEliminator::satisfied	(	const TEnvPtr &	tenv,
		const MonoTypePtr &	lhs,
		const MonoTypePtr &	rhs,
		const MonoTypePtr &	result
	)		const

pure virtual

virtual ExprPtr hobbes::ATEliminator::unqualify	(	const TEnvPtr &	,
		const ConstraintPtr &	,
		const ExprPtr &	,
		Definitions *
	)		const

pure virtual

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