|
BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
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 |
Data Loader for Transitive Closure Benchmark (with Binding Pattern "ff")
1.8.10