hobbes::DBFieldLookup Class Reference

Inheritance diagram for hobbes::DBFieldLookup:

Collaboration diagram for hobbes::DBFieldLookup:

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

Member Function Documentation

name()

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

virtual

Implements hobbes::HFEliminator.

refine()

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

virtual

Implements hobbes::HFEliminator.

satisfiable()

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

virtual

Implements hobbes::HFEliminator.

satisfied()

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

virtual

Implements hobbes::HFEliminator.

unqualify()

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

virtual

Implements hobbes::HFEliminator.

---

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

• lib/hobbes/db/bindings.C