|
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 pred_c, including all inherited members.
| add_rel(rel_t rel, bind_t bind) (defined in pred_c) | pred_c | |
| add_rel(list_1_t rel) (defined in pred_c) | pred_c | inline |
| add_rel(list_2_t rel) (defined in pred_c) | pred_c | inline |
| add_rel(set_1_t rel) (defined in pred_c) | pred_c | inline |
| add_rel(set_2_t rel) (defined in pred_c) | pred_c | inline |
| add_rel(rel_n_n_t rel) (defined in pred_c) | pred_c | inline |
| arg_dom(int arg_no) (defined in pred_c) | pred_c | inline |
| argtype(int arg_no) (defined in pred_c) | pred_c | inline |
| arity() (defined in pred_c) | pred_c | inline |
| dump(str_t headline=STR_NULL) const (defined in pred_c) | pred_c | |
| hash_next() (defined in pred_c) | pred_c | inline |
| name() (defined in pred_c) | pred_c | inline |
| pred_c(str_t pred_name, int pred_arity) (defined in pred_c) | pred_c | |
| pred_c(str_t pred_name, strtab_t dom_1) (defined in pred_c) | pred_c | |
| pred_c(str_t pred_name, strtab_t dom_1, strtab_t dom_2) (defined in pred_c) | pred_c | |
| pred_c(str_t pred_name, argtype_t argtype_1) (defined in pred_c) | pred_c | |
| pred_c(str_t pred_name, argtype_t argtype_1, argtype_t argtype_2) (defined in pred_c) | pred_c | |
| set_argtype(int arg_no, argtype_t arg_type) (defined in pred_c) | pred_c | inline |
| set_dom(int arg_no, strtab_t dom) (defined in pred_c) | pred_c | inline |
| set_next(pred_c *next_pred) (defined in pred_c) | pred_c | inline |
| store_fact(int args[]) (defined in pred_c) | pred_c | |
| ~pred_c() (defined in pred_c) | pred_c |
1.8.10
