|
hobbes
a language, embedded compiler, and runtime for efficient dynamic expression evaluation, data storage and analysis
|
This is the complete list of members for hobbes::Unqualifier, including all inherited members.
| bindings() const =0 | hobbes::Unqualifier | pure virtual |
| dependencies(const ConstraintPtr &) const =0 | hobbes::Unqualifier | pure virtual |
| explain(const TEnvPtr &, const ConstraintPtr &, const ExprPtr &, Definitions *, annmsgs *)=0 | hobbes::Unqualifier | pure virtual |
| lookup(const std::string &vn) const =0 | hobbes::Unqualifier | pure virtual |
| refine(const TEnvPtr &tenv, const ConstraintPtr &cst, MonoTypeUnifier *u, Definitions *ds)=0 | hobbes::Unqualifier | pure virtual |
| satisfiable(const TEnvPtr &tenv, const ConstraintPtr &cst, Definitions *ds) const =0 | hobbes::Unqualifier | pure virtual |
| satisfied(const TEnvPtr &tenv, const ConstraintPtr &cst, Definitions *ds) const =0 | hobbes::Unqualifier | pure virtual |
| unqualify(const TEnvPtr &tenv, const ConstraintPtr &cst, const ExprPtr &e, Definitions *ds) const =0 | hobbes::Unqualifier | pure virtual |
1.8.13