glue/glue_declare.cpp File Reference
#include <mmxlight/mmxlight_glue.hpp>
#include <mmxlight/base_evaluator.hpp>
#include <basix/dynamic.hpp>
Go to the source code of this file.
Classes
Namespaces
Functions
- static bool occurs (const generic &var, const generic &x)
- static generic replace (const generic &x, const generic &var, const generic &by)
- static bool matches (const generic &tp, const generic &cat)
- static bool matches_compute (const generic &tp, const generic &cat)
- static bool types_defined (const generic &x, const vector< generic > &all)
- generic mmx_forall (const generic &x)
- generic mmx_assume (const generic &x)
- generic mmx_penalty (const generic &x)
- static generic perform_op (nat op, const generic &x, const generic &y)
- static generic mmx_op_assign (const generic &x, nat op)
- generic mmx_plus_assign (const generic &x)
- generic mmx_minus_assign (const generic &x)
- generic mmx_times_assign (const generic &x)
- generic mmx_over_assign (const generic &x)
- generic mmx_define (const generic &x)
- generic mmx_assign (const generic &x)
- generic mmx_prefer (const generic &x)
- routine closure (const evaluator &ev, const vector< nat > &sig, const generic &args, const generic &body)
- generic mmx_lambda (const generic &x)
- generic mmx_mapsto (const generic &x)
- generic mmx_return (const generic &x)
- static generic quote (const generic &x, nat level)
- generic mmx_quote (const generic &x)
- generic mmx_backquote (const generic &x)
- generic mmx_macro (const generic &x)
- generic mmx_define_macro (const generic &x)
- generic mmx_assign_macro (const generic &x)
- routine mmx_compose_function (const routine &f, const generic &g)
- routine mmx_compose_literal (const literal &f, const generic &g)
- routine mmx_compose_compound (const compound &f, const generic &g)
- void glue_declare ()