hobbes: hobbes::HFEliminator Struct Reference

hobbes

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

#include <hasfield.H>

Inheritance diagram for hobbes::HFEliminator:

Inheritance graph

Collaboration diagram for hobbes::HFEliminator:

Collaboration graph

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

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

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

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

virtual std::string	name () const =0

Member Function Documentation

◆ name()

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

pure virtual

Implemented in hobbes::DBFieldLookup, hobbes::AddDBFieldSignal, hobbes::ProcManager, hobbes::HFLookupEliminator, hobbes::HFSLookupEliminator, hobbes::HFRecordEliminator, and hobbes::HFTEnvLookupEliminator.

◆ refine()

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

pure virtual

Implemented in hobbes::DBFieldLookup, hobbes::AddDBFieldSignal, hobbes::ProcManager, hobbes::HFLookupEliminator, hobbes::HFSLookupEliminator, hobbes::HFRecordEliminator, and hobbes::HFTEnvLookupEliminator.

◆ satisfiable()

virtual bool hobbes::HFEliminator::satisfiable	(	const TEnvPtr &	tenv,
		const HasField &	,
		Definitions *
	)		const

pure virtual

Implemented in hobbes::DBFieldLookup, hobbes::AddDBFieldSignal, hobbes::ProcManager, hobbes::HFLookupEliminator, hobbes::HFSLookupEliminator, hobbes::HFRecordEliminator, and hobbes::HFTEnvLookupEliminator.

◆ satisfied()

virtual bool hobbes::HFEliminator::satisfied	(	const TEnvPtr &	tenv,
		const HasField &	,
		Definitions *
	)		const

pure virtual

Implemented in hobbes::DBFieldLookup, hobbes::AddDBFieldSignal, hobbes::ProcManager, hobbes::HFLookupEliminator, hobbes::HFSLookupEliminator, hobbes::HFRecordEliminator, and hobbes::HFTEnvLookupEliminator.

◆ unqualify()

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

pure virtual

Implemented in hobbes::DBFieldLookup, hobbes::AddDBFieldSignal, hobbes::ProcManager, hobbes::HFLookupEliminator, hobbes::HFSLookupEliminator, hobbes::HFRecordEliminator, and hobbes::HFTEnvLookupEliminator.

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

include/hobbes/lang/preds/hasfield.H