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

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

bindings() consthobbes::InvokePinlinevirtual
constraintName()hobbes::InvokePinlinestatic
decodeConstraint(const ConstraintPtr &c, MonoTypePtr *ch, MonoTypePtr *expr, MonoTypePtr *inty, MonoTypePtr *outty)hobbes::InvokePinlineprivatestatic
dependencies(const ConstraintPtr &cst) consthobbes::InvokePinlinevirtual
explain(const TEnvPtr &tenv, const ConstraintPtr &cst, const ExprPtr &e, Definitions *ds, annmsgs *msgs)hobbes::InvokePinlinevirtual
lookup(const std::string &vn) consthobbes::InvokePinlinevirtual
makeInvokeFn(const TEnvPtr &tenv, const ConstraintPtr &cst, Definitions *ds, const LexicalAnnotation &la)hobbes::InvokePinlineprivatestatic
netInvoke()hobbes::InvokePinlinestatic
refine(const TEnvPtr &tenv, const ConstraintPtr &cst, MonoTypeUnifier *u, Definitions *ds)hobbes::InvokePinlinevirtual
satisfiable(const TEnvPtr &tenv, const ConstraintPtr &cst, Definitions *ds) consthobbes::InvokePinlinevirtual
satisfied(const TEnvPtr &tenv, const ConstraintPtr &cst, Definitions *ds) consthobbes::InvokePinlinevirtual
unqualify(const TEnvPtr &tenv, const ConstraintPtr &cst, const ExprPtr &e, Definitions *ds) consthobbes::InvokePinlinevirtual
Generated by   doxygen 1.8.13