hobbes
a language, embedded compiler, and runtime for efficient dynamic expression evaluation, data storage and analysis
hobbes::UnqualifierSet Member List

This is the complete list of members for hobbes::UnqualifierSet, including all inherited members.

add(const std::string &name, const UnqualifierPtr &uq)hobbes::UnqualifierSet
bindings() consthobbes::UnqualifierSetvirtual
dependencies(const ConstraintPtr &) consthobbes::UnqualifierSetvirtual
explain(const TEnvPtr &, const ConstraintPtr &, const ExprPtr &, Definitions *, annmsgs *)hobbes::UnqualifierSetvirtual
findUnqualifier(const std::string &name)hobbes::UnqualifierSet
lookup(const std::string &vn) consthobbes::UnqualifierSetvirtual
refine(const TEnvPtr &, const ConstraintPtr &, MonoTypeUnifier *, Definitions *)hobbes::UnqualifierSetvirtual
satisfiable(const TEnvPtr &, const ConstraintPtr &, Definitions *) consthobbes::UnqualifierSetvirtual
satisfied(const TEnvPtr &, const ConstraintPtr &, Definitions *) consthobbes::UnqualifierSetvirtual
unqualifiers() consthobbes::UnqualifierSet
Unqualifiers typedefhobbes::UnqualifierSet
unqualify(const TEnvPtr &, const ConstraintPtr &, const ExprPtr &, Definitions *) consthobbes::UnqualifierSetvirtual
uqshobbes::UnqualifierSetprivate
Generated by   doxygen 1.8.13