hobbes
a language, embedded compiler, and runtime for efficient dynamic expression evaluation, data storage and analysis
|
#include <hobbes/lang/preds/equal.H>
#include <hobbes/lang/preds/class.H>
#include <hobbes/lang/typeinf.H>
Classes | |
struct | hobbes::StripEqCst |
Namespaces | |
hobbes | |
Functions | |
static bool | hobbes::dec (const ConstraintPtr &c, MonoTypePtr *lhs, MonoTypePtr *rhs) |