BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
Classes
load_tc.h File Reference

Data Loader for Transitive Closure Benchmark (with Binding Pattern "ff") More...

#include "../base/ver.h"
#include "../base/str.h"
#include "../base/check.h"
#include "../rel/list_2.h"
#include "../rel/rel_n_n.h"

Go to the source code of this file.

Classes

class  load_tc_c
 

Detailed Description

Data Loader for Transitive Closure Benchmark (with Binding Pattern "ff")