|
BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
Public Member Functions | |
| atomtab_c (str_t tab_name) | |
| int | put (str_t name_start, str_t name_end) |
| int | put (str_t atom_name) |
| str_t | get (int id) |
| str_t | name () const |
| int | num_atoms () const |
| int | num_pages () const |
| void | dump (str_t headline=STR_NULL) const |
1.8.10