hobbes
a language, embedded compiler, and runtime for efficient dynamic expression evaluation, data storage and analysis
Classes | Namespaces | Functions
not.C File Reference
#include <hobbes/lang/preds/not.H>
#include <hobbes/lang/preds/class.H>
#include <hobbes/lang/typeinf.H>
Include dependency graph for not.C:

Classes

struct  hobbes::StripCst
 

Namespaces

 hobbes
 

Functions

static bool hobbes::dec (const ConstraintPtr &c, MonoTypePtr *lhs, MonoTypePtr *rhs)