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