hobbes: hobbes::HCVariantEliminator Struct Reference

hobbes

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

#include <variant.H>

Inheritance diagram for hobbes::HCVariantEliminator:

Inheritance graph

Collaboration diagram for hobbes::HCVariantEliminator:

Collaboration graph

Public Member Functions
bool	satisfied (const TEnvPtr &tenv, const HasCtor &, Definitions *) const

bool	satisfiable (const TEnvPtr &tenv, const HasCtor &, Definitions *) const

bool	refine (const TEnvPtr &tenv, const HasCtor &, MonoTypeUnifier s, Definitions )

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

std::string	name () const

Member Function Documentation

◆ name()

std::string hobbes::HCVariantEliminator::name ( ) const

virtual

Implements hobbes::HCEliminator.

◆ refine()

bool hobbes::HCVariantEliminator::refine	(	const TEnvPtr &	tenv,
		const HasCtor &	hc,
		MonoTypeUnifier *	s,
		Definitions *
	)

virtual

Implements hobbes::HCEliminator.

◆ satisfiable()

bool hobbes::HCVariantEliminator::satisfiable	(	const TEnvPtr &	tenv,
		const HasCtor &	hc,
		Definitions *	ds
	)		const

virtual

Implements hobbes::HCEliminator.

◆ satisfied()

bool hobbes::HCVariantEliminator::satisfied	(	const TEnvPtr &	tenv,
		const HasCtor &	hc,
		Definitions *
	)		const

virtual

Implements hobbes::HCEliminator.

◆ unqualify()

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

virtual

Implements hobbes::HCEliminator.

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

include/hobbes/lang/preds/hasctor/variant.H
lib/hobbes/lang/preds/hasctor/variant.C