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

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_cset_2s_t
 

Detailed Description

Set of rows with two int columns (relation with binding "bb").