|
BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
Cursor for accessing rel_n_n with given first argument. More...
#include "../base/ver.h"#include "../base/str.h"#include "../base/check.h"#include "../bds/stack.h"#include "../rel/rel_n_n.h"Go to the source code of this file.
Classes | |
| class | cur_n_n_c |
Macros | |
| #define | CUR_N_N_NULL (static_cast<cur_n_n_t>(0)) |
Typedefs | |
| typedef cur_n_n_c * | cur_n_n_t |
Cursor for accessing rel_n_n with given first argument.
1.8.10