hobbes: hobbes::DataP Class Reference

hobbes

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

#include <data.H>

Inheritance diagram for hobbes::DataP:

Inheritance graph

Collaboration diagram for hobbes::DataP:

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::DataP::bindings ( ) const

virtual

Implements hobbes::Unqualifier.

◆ constraintName()

std::string hobbes::DataP::constraintName ( )

static

◆ dependencies()

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

virtual

Implements hobbes::Unqualifier.

◆ explain()

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

virtual

Implements hobbes::Unqualifier.

◆ lookup()

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

virtual

Implements hobbes::Unqualifier.

◆ refine()

bool hobbes::DataP::refine	(	const TEnvPtr &	,
		const ConstraintPtr &	c,
		MonoTypeUnifier *	u,
		Definitions *
	)

virtual

Implements hobbes::Unqualifier.

◆ satisfiable()

bool hobbes::DataP::satisfiable	(	const TEnvPtr &	tenv,
		const ConstraintPtr &	c,
		Definitions *	ds
	)		const

virtual

Implements hobbes::Unqualifier.

◆ satisfied()

bool hobbes::DataP::satisfied	(	const TEnvPtr &	tenv,
		const ConstraintPtr &	c,
		Definitions *
	)		const

virtual

Implements hobbes::Unqualifier.

◆ unqualify()

ExprPtr hobbes::DataP::unqualify	(	const TEnvPtr &	,
		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/data.H
lib/hobbes/lang/preds/data.C