|
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::HCEliminator, including all inherited members.
| name() const =0 | hobbes::HCEliminator | pure virtual |
| refine(const TEnvPtr &tenv, const HasCtor &, MonoTypeUnifier *s, Definitions *)=0 | hobbes::HCEliminator | pure virtual |
| satisfiable(const TEnvPtr &tenv, const HasCtor &, Definitions *) const =0 | hobbes::HCEliminator | pure virtual |
| satisfied(const TEnvPtr &tenv, const HasCtor &, Definitions *) const =0 | hobbes::HCEliminator | pure virtual |
| unqualify(const TEnvPtr &, const ConstraintPtr &, const HasCtor &, const ExprPtr &, Definitions *) const =0 | hobbes::HCEliminator | pure virtual |
1.8.13