|
BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
|
BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
Static Public Member Functions | |
| static void | set_verbose (bool verbose) |
| static void | set_answer_limit (long max_answers) |
| static void | set_debug (bool debug) |
| static void | set_summary (bool summary, bool newline) |
| static void | set_rel (bool rel) |
| static void | set_mem_pools (bool mem_pools) |
| static void | set_dump (bool dump) |
| static bool | show_rel () |
| static bool | show_dump () |
| static void | verbose_msg (str_t msg) |
| static void | verbose_int (int i) |
| static void | verbose_long (long n) |
| static void | verbose_fact_1 (str_t pred, int arg1) |
| static void | verbose_fact_2 (str_t pred, int arg1, int arg2) |
| static void | verbose_nl () |
| static void | verbose_hrule () |
| static void | verbose_headline (str_t test_id) |
| static void | verbose_time (str_t name, long realtime, long cpu) |
| static void | verbose_success (str_t test_id) |
| static void | verbose_bad_ok (str_t test_id) |
| static void | verbose_failure (str_t test_id) |
| static void | verbose_benchmark (str_t bench_name) |
| static void | verbose_input (str_t file_name) |
| static void | verbose_result (long eval_result) |
| static void | verbose_cannot_check () |
| static void | verbose_bench_ok () |
| static void | verbose_real_gt_cpu (long realtime, long cputime) |
| static void | verbose_cpu_gt_real (long realtime, long cputime) |
| static void | verbose_test_failed (str_t msg) |
| static void | verbose_wrong_result (str_t fun, long result, long expected_result) |
| static void | verbose_error_row (int row_num, str_t row_text) |
| static void | verbose_num_rows (int num_rows) |
| static void | verbose_num_cols (int bound_args, int free_args) |
| static void | verbose_implementation (str_t impl_name) |
| static void | verbose_hashtab_size (int hash_size) |
| static void | verbose_hashtab_usage (int hash_size, int entries_used) |
| static void | verbose_hashtab_chain (int num_rows, int entries_used) |
| static void | verbose_bucket_size (int num_entries, int bytes) |
| static void | verbose_total_buckets (int total_buckets) |
| static void | verbose_overflow_buckets (int overflow_buckets) |
| static void | verbose_rows_per_bucket (int num_rows, int total_buckets, int bucket_size) |
| static void | verbose_mem_pages (int num_pages) |
| static void | verbose_obj_size (int obj_size) |
| static void | verbose_bytes_per_row (int num_pages, int obj_size, int num_rows) |
| static void | answer_1 (long no, int arg1) |
| static void | answer_2 (long no, int arg1, int arg2) |
| static void | answer_s (long no, str_t arg1) |
| static void | answer_5s (long no, str_t arg1, str_t arg2, str_t arg3, str_t arg4, str_t arg5) |
| static void | rel_size_headline () |
| static void | rel_size (rel_t rel) |
| static void | rel_size_nonstd (str_t name, long num_rows, long num_pages) |
| static void | rel_size_strtab (strtab_t tab) |
| static void | rel_size_atomtab (atomtab_t tab) |
| static void | rel_size_done () |
| static void | mem_pools_tab (str_t headline=STR_NULL) |
| static void | summary (str_t bench_id, long load_time, long eval_time, long total_time, str_t result) |
| static void | debug_msg (str_t msg) |
| static void | debug_int (int i) |
| static void | debug_long (long n) |
| static void | debug_nl () |
| static void | debug_fact_1 (str_t pred, int arg1) |
| static void | debug_fact_2 (str_t pred, int arg1, int arg2) |
| static void | debug_ival (str_t attr, int i) |
| static void | debug_lval (str_t attr, long n) |
| static void | debug_sval (str_t attr, str_t s) |
| static void | debug_mempages (str_t attr, int num_pages) |
| static void | debug_hashusage (str_t attr, int entries_used, int hash_size) |
| static void | debug_hashchain (str_t attr, int entries_used, int num_rows) |
| static void | debug_trace_iteration (int stacksize) |
| static void | debug_trace_label (str_t type, int label, str_t rule, str_t fact_type) |
| static void | debug_trace_assign (str_t var, int value) |
| static void | debug_trace_pop_var (str_t var, int value) |
| static void | debug_trace_rule_app (int call_depth, str_t rule, str_t pred, int num_args, int arg1, int arg2) |
| static void | debug_trace_call (int call_depth, str_t pred, int num_args, int arg1, int arg2) |
| static void | help_line (str_t line) |
| static void | help_test (str_t id, str_t name) |
1.8.10
