Defines |
|
#define | cuex_var_from_ex(ex) ((cuex_var_t)(ex)) |
|
#define | cuex_is_idr(ex) (cuex_meta(ex) == cuoo_type_to_meta(cu_idr_type())) |
|
#define | cuex_idr_from_ex(ex) ((cu_idr_t)(ex)) |
Typedefs |
|
typedef struct cuex_fpvar * | cuex_fpvar_t |
|
typedef struct cuex_gvar * | cuex_gvar_t |
|
typedef struct cuex_occurtree * | cuex_occurtree_t |
|
typedef struct cuex_opn * | cuex_opn_t |
|
typedef struct cuex_opn_source * | cuex_opn_source_t |
|
typedef struct cuex_oprinfo * | cuex_oprinfo_t |
|
typedef struct cuex_pvar * | cuex_pvar_t |
|
typedef struct cuex_subst * | cuex_subst_t |
|
typedef struct cuex_veqv * | cuex_veqv_t |
|
typedef struct cuex_tpvar * | cuex_tpvar_t |
|
typedef struct cuex_tvar * | cuex_tvar_t |
|
typedef struct cuex_var * | cuex_var_t |
Functions |
| void | cuex_init (void) |