BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
Set of rows with two int columns (relation with binding "bb"). More...
#include "../base/ver.h"
#include "../base/str.h"
#include "../base/check.h"
#include "row_2.h"
#include "set_s.h"
Go to the source code of this file.
Classes | |
class | set_2s_c |
Macros | |
#define | SET_2S_NULL (static_cast<set_2s_t>(0)) |
Typedefs | |
typedef set_2s_c * | set_2s_t |
Set of rows with two int columns (relation with binding "bb").