BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
Classes | Macros | Typedefs
list_2.h File Reference

List of rows with two int columns (relation with binding "ff"). More...

#include "../base/ver.h"
#include "../base/str.h"
#include "../base/check.h"
#include "../rel/row_2.h"
#include "../rel/list.h"

Go to the source code of this file.

Classes

class  list_2_c
 

Macros

#define LIST_2_NULL   (static_cast<list_2_t>(0))
 

Typedefs

typedef list_2_clist_2_t
 

Detailed Description

List of rows with two int columns (relation with binding "ff").