BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
Public Member Functions | List of all members
bench_c Class Referenceabstract

Abstract superclass for Standard Benchmarks with load() and eval() Methods. More...

#include <bench.h>

Inheritance diagram for bench_c:
bench_j1axy_1_c bench_j1axy_2_c bench_j1axy_3_c bench_j1axy_4_c bench_j1axy_5_c bench_j1axy_6_c bench_tcff_2_c bench_tcff_3_c bench_tcff_4_c bench_tcff_5_c

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
 

Detailed Description

Abstract superclass for Standard Benchmarks with load() and eval() Methods.

Author
Stefan Brass
Date
17.05.2016

Member Function Documentation

virtual bool bench_c::load ( str_t  filename)
pure virtual

Load data file with EDB facts. Name of the data file.

Returns
true if successful, false if error detected.

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.


The documentation for this class was generated from the following files: