hobbes::HFRecordEliminator Struct Reference

#include <record.H>

Inheritance diagram for hobbes::HFRecordEliminator:

Collaboration diagram for hobbes::HFRecordEliminator:

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::HFRecordEliminator::name ( ) const

virtual

Implements hobbes::HFEliminator.

refine()

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

virtual

Implements hobbes::HFEliminator.

satisfiable()

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

virtual

Implements hobbes::HFEliminator.

satisfied()

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

virtual

Implements hobbes::HFEliminator.

unqualify()

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

virtual

Implements hobbes::HFEliminator.

---

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

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