BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
Transitive Closure Benchmark tc(X,Y) (Binding Pattern "ff"), Version 5 (with Abstract Machine) More...
#include "../base/ver.h"
#include "../base/str.h"
#include "../base/check.h"
#include "../rel/list_2.h"
#include "../rel/cur_2.h"
#include "../rel/set_2.h"
#include "../rel/rel_n_n.h"
#include "../emu/bam.h"
#include "bench.h"
Go to the source code of this file.
Classes | |
class | bench_tcff_5_c |
Transitive Closure Benchmark tc(X,Y) (Binding Pattern "ff"), Version 5 (with Abstract Machine)