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

Transitive Closure Benchmark tc(X,Y) (Binding Pattern "ff"), Version 2 (with general loader, relations in attributes, and standard cursor interface to retrieve answers). More...

#include "../base/ver.h"
#include "../base/str.h"
#include "../base/check.h"
#include "../bds/stack.h"
#include "../rel/list_2.h"
#include "../rel/cur_2.h"
#include "../rel/set_2.h"
#include "../rel/rel_n_n.h"
#include "../rel/cur_n_n.h"
#include "bench.h"

Go to the source code of this file.

Classes

class  bench_tcff_2_c
 

Detailed Description

Transitive Closure Benchmark tc(X,Y) (Binding Pattern "ff"), Version 2 (with general loader, relations in attributes, and standard cursor interface to retrieve answers).