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

Static Public Member Functions

static bool load (str_t filename, list_2_t par_ff, rel_n_n_t par_fb)
 
The documentation for this class was generated from the following files:
Generated by   doxygen 1.8.10