BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
Public Member Functions | |
test_set1_c (T set, int test_id) | |
virtual void | dump (str_t headline=STR_NULL) const |
Public Member Functions inherited from rtest_c | |
rtest_c (rel_t rel) | |
rel_t | rel () |
int | num_rows () |
str_t | error_row () |
Additional Inherited Members | |
Protected Member Functions inherited from rtest_c | |
void | inserted_rows (int n) |
void | error_row_open () |
void | error_row_int (int val) |
void | error_row_close () |