hobbes: hobbes::LsP Class Reference

hobbes

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

Inheritance diagram for hobbes::LsP:

Inheritance graph

Collaboration diagram for hobbes::LsP:

Collaboration graph

Classes
struct	StripCst

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

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

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

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

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

PolyTypePtr	lookup (const std::string &) const

SymSet	bindings () const

FunDeps	dependencies (const ConstraintPtr &) const

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

Member Function Documentation

◆ bindings()

SymSet hobbes::LsP::bindings ( ) const

inlinevirtual

Implements hobbes::Unqualifier.

◆ constraintName()

static std::string hobbes::LsP::constraintName ( )

inlinestatic

◆ dependencies()

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

inlinevirtual

Implements hobbes::Unqualifier.

◆ explain()

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

inlinevirtual

Implements hobbes::Unqualifier.

◆ lookup()

PolyTypePtr hobbes::LsP::lookup ( const std::string & ) const

inlinevirtual

Implements hobbes::Unqualifier.

◆ refine()

bool hobbes::LsP::refine	(	const TEnvPtr &	,
		const ConstraintPtr &	cst,
		MonoTypeUnifier *	u,
		Definitions *
	)

inlinevirtual

Implements hobbes::Unqualifier.

◆ satisfiable()

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

inlinevirtual

Implements hobbes::Unqualifier.

◆ satisfied()

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

inlinevirtual

Implements hobbes::Unqualifier.

◆ unqualify()

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

inlinevirtual

Implements hobbes::Unqualifier.

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

lib/hobbes/lang/preds/str.C