hobbes: hobbes::HCEliminator Struct Reference

hobbes

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

#include <hasctor.H>

Inheritance diagram for hobbes::HCEliminator:

Inheritance graph

Collaboration diagram for hobbes::HCEliminator:

Collaboration graph

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

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

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

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

virtual std::string	name () const =0

Member Function Documentation

◆ name()

virtual std::string hobbes::HCEliminator::name ( ) const

pure virtual

Implemented in hobbes::HCVariantEliminator.

◆ refine()

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

pure virtual

Implemented in hobbes::HCVariantEliminator.

◆ satisfiable()

virtual bool hobbes::HCEliminator::satisfiable	(	const TEnvPtr &	tenv,
		const HasCtor &	,
		Definitions *
	)		const

pure virtual

Implemented in hobbes::HCVariantEliminator.

◆ satisfied()

virtual bool hobbes::HCEliminator::satisfied	(	const TEnvPtr &	tenv,
		const HasCtor &	,
		Definitions *
	)		const

pure virtual

Implemented in hobbes::HCVariantEliminator.

◆ unqualify()

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

pure virtual

Implemented in hobbes::HCVariantEliminator.

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

include/hobbes/lang/preds/hasctor.H