BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
Public Member Functions | |
set_tt_c (str_t rel_name) | |
bool | insert (int c1, int c2) |
bool | contains (int c1, int c2) const |
void | dump (str_t headline=STR_NULL) const |
Public Member Functions inherited from rel_c | |
str_t | name () const |
bool | mem_err () const |
int | num_rows () const |
int | num_cols () const |
int | bound_args () |
int | free_args () |
str_t | impl_name () |
int | num_pages () const |
void | dump (str_t headline=STR_NULL) const |
Additional Inherited Members | |
Protected Member Functions inherited from rel_c | |
rel_c (str_t rel_name, int bound, int free, str_t impl) | |
Protected Attributes inherited from rel_c | |
mpool_c | MemPool |
str_t | Name |
bool | MemErr |
int | NumRows |
int | BoundArgs |
int | FreeArgs |
str_t | ImplName |