BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
Abstract superclass for Standard Benchmarks with load() and eval() Methods. More...
#include <bench.h>
Public Member Functions | |
virtual bool | load (str_t filename)=0 |
virtual long | eval ()=0 |
virtual str_t | name () const =0 |
virtual str_t | file (int i) const =0 |
virtual long | result (int i) const =0 |
virtual void | dump (str_t headline=STR_NULL) const |
Abstract superclass for Standard Benchmarks with load() and eval() Methods.
|
pure virtual |
Load data file with EDB facts. Name of the data file.
Implemented in bench_j1axy_5_c, bench_j1axy_6_c, bench_tcff_2_c, bench_tcff_3_c, bench_j1axy_3_c, bench_j1axy_4_c, bench_tcff_5_c, bench_tcff_4_c, bench_j1axy_1_c, and bench_j1axy_2_c.