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 |