hobbes::HFLookupEliminator Struct Reference

#include <lookup.H>

Inheritance diagram for hobbes::HFLookupEliminator:

Collaboration diagram for hobbes::HFLookupEliminator:

Public Member Functions
bool	satisfied (const TEnvPtr &tenv, const HasField &, Definitions *) const
bool	satisfiable (const TEnvPtr &tenv, const HasField &, Definitions *) const
bool	refine (const TEnvPtr &tenv, const HasField &, MonoTypeUnifier *s, Definitions *)
ExprPtr	unqualify (const TEnvPtr &, const ConstraintPtr &, const ExprPtr &, Definitions *) const
std::string	name () const

Member Function Documentation

name()

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

virtual

Implements hobbes::HFEliminator.

refine()

bool hobbes::HFLookupEliminator::refine ( const TEnvPtr &  tenv, const HasField &  hf, MonoTypeUnifier *  s, Definitions *  ds  )

virtual

Implements hobbes::HFEliminator.

satisfiable()

bool hobbes::HFLookupEliminator::satisfiable ( const TEnvPtr &  tenv, const HasField &  hf, Definitions *  ds  ) const

virtual

Implements hobbes::HFEliminator.

satisfied()

bool hobbes::HFLookupEliminator::satisfied ( const TEnvPtr &  tenv, const HasField &  hf, Definitions *  ds  ) const

virtual

Implements hobbes::HFEliminator.

unqualify()

ExprPtr hobbes::HFLookupEliminator::unqualify ( const TEnvPtr &  tenv, const ConstraintPtr &  cst, const ExprPtr &  e, Definitions *  ds  ) const

virtual

Implements hobbes::HFEliminator.

---

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

• include/hobbes/lang/preds/hasfield/lookup.H
• lib/hobbes/lang/preds/hasfield/lookup.C