BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
Public Member Functions | List of all members
cur_n_n_c Class Reference

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
 

The documentation for this class was generated from the following files: