hobbes::SubtypeEliminator Struct Reference

#include <subtype.H>

Inheritance diagram for hobbes::SubtypeEliminator:

Collaboration diagram for hobbes::SubtypeEliminator:

Public Member Functions
virtual bool	satisfied (const TEnvPtr &tenv, const MonoTypePtr &lhs, const MonoTypePtr &rhs) const =0
virtual bool	satisfiable (const TEnvPtr &tenv, const MonoTypePtr &lhs, const MonoTypePtr &rhs) const =0
virtual bool	refine (const TEnvPtr &tenv, const MonoTypePtr &lhs, const MonoTypePtr &rhs, MonoTypeUnifier *s)=0
virtual ExprPtr	unqualify (const TEnvPtr &, const ConstraintPtr &, const ExprPtr &, Definitions *) const =0
virtual PolyTypePtr	lookup (const std::string &vn) const =0
virtual SymSet	bindings () const =0

Member Function Documentation

bindings()

virtual SymSet hobbes::SubtypeEliminator::bindings ( ) const

pure virtual

Implemented in hobbes::Objs.

lookup()

virtual PolyTypePtr hobbes::SubtypeEliminator::lookup ( const std::string &  vn ) const

pure virtual

Implemented in hobbes::Objs.

refine()

virtual bool hobbes::SubtypeEliminator::refine ( const TEnvPtr &  tenv, const MonoTypePtr &  lhs, const MonoTypePtr &  rhs, MonoTypeUnifier *  s  )

pure virtual

Implemented in hobbes::Objs.

satisfiable()

virtual bool hobbes::SubtypeEliminator::satisfiable ( const TEnvPtr &  tenv, const MonoTypePtr &  lhs, const MonoTypePtr &  rhs  ) const

pure virtual

Implemented in hobbes::Objs.

satisfied()

virtual bool hobbes::SubtypeEliminator::satisfied ( const TEnvPtr &  tenv, const MonoTypePtr &  lhs, const MonoTypePtr &  rhs  ) const

pure virtual

Implemented in hobbes::Objs.

unqualify()

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

pure virtual

Implemented in hobbes::Objs.

---

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

• include/hobbes/lang/preds/subtype.H