|
BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
Public Member Functions | |
| cur_n_n_c (rel_n_n_t rel) | |
| void | open (int c1) |
| bool | fetch () |
| int | c2 () |
| bool | push (stack_c< int > *stack) |
| void | pop (stack_c< int > *stack) |
| void | dump (str_t headline=STR_NULL) const |
1.8.10