BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
List of rows with one int column (relation with binding "f"). More...
#include "../base/ver.h"
#include "../base/str.h"
#include "../base/check.h"
#include "../rel/row_1.h"
#include "../rel/list.h"
Go to the source code of this file.
Classes | |
class | list_1_c |
Macros | |
#define | LIST_1_NULL (static_cast<list_1_t>(0)) |
Typedefs | |
typedef list_1_c * | list_1_t |
List of rows with one int column (relation with binding "f").