hobbes::ATRecordEliminator Struct Reference

#include <record.H>

Inheritance diagram for hobbes::ATRecordEliminator:

Collaboration diagram for hobbes::ATRecordEliminator:

Public Member Functions
bool	satisfied (const TEnvPtr &tenv, const MonoTypePtr &rty, const MonoTypePtr &fname, const MonoTypePtr &fty) const
bool	satisfiable (const TEnvPtr &tenv, const MonoTypePtr &rty, const MonoTypePtr &fname, const MonoTypePtr &fty) const
bool	refine (const TEnvPtr &tenv, const MonoTypePtr &rty, const MonoTypePtr &fieldName, const MonoTypePtr &fty, MonoTypeUnifier *s)
PolyTypePtr	lookup (const std::string &vn) const
SymSet	bindings () const
ExprPtr	unqualify (const TEnvPtr &, const ConstraintPtr &, const ExprPtr &, Definitions *) const

Member Function Documentation

bindings()

SymSet hobbes::ATRecordEliminator::bindings ( ) const

virtual

Implements hobbes::ATEliminator.

lookup()

PolyTypePtr hobbes::ATRecordEliminator::lookup ( const std::string &  vn ) const

virtual

Implements hobbes::ATEliminator.

refine()

bool hobbes::ATRecordEliminator::refine ( const TEnvPtr &  tenv, const MonoTypePtr &  rty, const MonoTypePtr &  fieldName, const MonoTypePtr &  fty, MonoTypeUnifier *  s  )

virtual

Implements hobbes::ATEliminator.

satisfiable()

bool hobbes::ATRecordEliminator::satisfiable ( const TEnvPtr &  tenv, const MonoTypePtr &  rty, const MonoTypePtr &  fname, const MonoTypePtr &  fty  ) const

virtual

Implements hobbes::ATEliminator.

satisfied()

bool hobbes::ATRecordEliminator::satisfied ( const TEnvPtr &  tenv, const MonoTypePtr &  rty, const MonoTypePtr &  fname, const MonoTypePtr &  fty  ) const

virtual

Implements hobbes::ATEliminator.

unqualify()

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

virtual

Implements hobbes::ATEliminator.

---

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

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