Go to the source code of this file.
Data Structures | |
| struct | wl_resid_block |
Defines | |
| #define | deref(P) {deref_ptr(P);if (deref_eval(P)) return TRUE;} |
| #define | deref_void(P) {deref_ptr(P);deref_eval(P);} |
| #define | deref_rec(P) {deref_ptr(P);if (deref_rec_eval(P)) return TRUE;} |
| #define | deref_args(P, S) {deref_ptr(P);if (deref_args_eval(P,S)) return TRUE;} |
| #define | deref_args_void(P) {deref_ptr(P);deref_args_eval(P);} |
| #define | set_empty 0 |
| #define | set_1 1 |
| #define | set_2 2 |
| #define | set_1_2 3 |
| #define | set_1_2_3 7 |
| #define | set_1_2_3_4 15 |
Typedefs | |
| typedef struct wl_resid_block * | ptr_resid_block |
| typedef struct wl_resid_block | resid_block |
Functions | |
| long | match_aim () |
| long | eval_aim () |
| void | residuate_double () |
| void | residuate () |
| void | residuate2 () |
| void | residuate3 () |
| void | curry () |
| long | residuateGoalOnVar () |
| long | do_residuation () |
| long | do_residuation_user () |
| void | do_currying () |
| void | release_resid () |
| void | release_resid_notrail () |
| void | check_func () |
| long | deref_eval () |
| long | deref_rec_eval () |
| long | deref_args_eval () |
| void | deref2_eval () |
| void | deref2_rec_eval () |
| long | f_check_out () |
| long | i_check_out () |
| long | i_eval_args () |
| void | save_resid () |
| void | restore_resid () |
Variables | |
| ptr_goal | resid_aim |
| ptr_resid_list | resid_vars |
| ptr_goal | resid_limit |
| long | curried |
| long | can_curry |
| #define deref | ( | P | ) | {deref_ptr(P);if (deref_eval(P)) return TRUE;} |
Definition at line 23 of file lefun.h.
Referenced by c_add(), c_append_file(), c_apply(), c_ascii(), c_bit_and(), c_bit_not(), c_bit_or(), c_bk_assign(), c_boolpred(), c_char(), c_children(), c_close(), c_concatenate(), c_cond(), c_copy_pointer(), c_copy_term(), c_diff(), c_diff_address(), c_div(), c_equal(), c_eval(), c_eval_inplace(), c_exist_feature(), c_exists(), c_exists_choice(), c_exp(), c_feature_values(), c_features(), c_floor_ceiling(), c_get(), c_glb(), c_gt(), c_gtoe(), c_initrandom(), c_int2string(), c_intdiv(), c_is_function(), c_is_number(), c_is_persistent(), c_is_predicate(), c_is_sort(), c_is_value(), c_isa_main(), c_isa_subsort(), c_load(), c_log(), c_logical_main(), c_lt(), c_ltoe(), c_lub(), c_mod(), c_mult(), c_nonvar(), c_not(), c_open_in(), c_open_out(), c_page_width(), c_parents(), c_parse(), c_print_depth(), c_project(), c_psi2string(), c_put_main(), c_quote(), c_random(), c_residList(), c_rootsort(), c_same_address(), c_set_choice(), c_set_input(), c_set_output(), c_shift(), c_sqrt(), c_string2psi(), c_string_length(), c_strip(), c_sub(), c_sub_string(), c_trig(), c_unify_func(), c_var(), c_xor(), and call_primitive().
| #define deref_args | ( | P, | |||
| S | ) | {deref_ptr(P);if (deref_args_eval(P,S)) return TRUE;} |
Definition at line 26 of file lefun.h.
Referenced by c_add(), c_append_file(), c_ascii(), c_assign(), c_bit_and(), c_bit_not(), c_bit_or(), c_bk_assign(), c_boolpred(), c_call(), c_char(), c_children(), c_close(), c_concatenate(), c_cond(), c_copy_pointer(), c_copy_term(), c_cputime(), c_diff(), c_diff_address(), c_disj(), c_div(), c_equal(), c_eval(), c_eval_inplace(), c_exist_feature(), c_exists(), c_exists_choice(), c_exp(), c_feature_values(), c_features(), c_floor_ceiling(), c_freeze_inner(), c_funct(), c_get(), c_get_choice(), c_glb(), c_global_assign(), c_gt(), c_gtoe(), c_initrandom(), c_int2string(), c_intdiv(), c_is_function(), c_is_number(), c_is_persistent(), c_is_predicate(), c_is_sort(), c_is_value(), c_isa_main(), c_isa_subsort(), c_load(), c_localtime(), c_log(), c_logical_main(), c_lt(), c_ltoe(), c_lub(), c_maxint(), c_mod(), c_mresiduate(), c_mult(), c_nonvar(), c_not(), c_open_in(), c_ops(), c_page_width(), c_parents(), c_parse(), c_pred(), c_print_codes(), c_print_depth(), c_project(), c_psi2string(), c_put_main(), c_quiet(), c_random(), c_read(), c_realtime(), c_repeat(), c_residList(), c_rootsort(), c_same_address(), c_set_choice(), c_set_input(), c_set_output(), c_shift(), c_smallest(), c_sqrt(), c_step(), c_string2psi(), c_string_length(), c_strip(), c_sub(), c_sub_string(), c_succeed(), c_such_that(), c_tprove(), c_trace(), c_trig(), c_undo(), c_unify_func(), c_unify_pred(), c_var(), c_verbose(), c_warning(), c_xor(), generic_write(), and prove_aim().
| #define deref_args_void | ( | P | ) | {deref_ptr(P);deref_args_eval(P);} |
| #define deref_rec | ( | P | ) | {deref_ptr(P);if (deref_rec_eval(P)) return TRUE;} |
Definition at line 25 of file lefun.h.
Referenced by c_assign(), c_bk_assign(), c_global_assign(), and c_setq().
| #define set_1 1 |
Definition at line 44 of file lefun.h.
Referenced by c_ascii(), c_bit_not(), c_boolpred(), c_call(), c_char(), c_children(), c_close(), c_copy_pointer(), c_copy_term(), c_eval(), c_eval_inplace(), c_exists(), c_exp(), c_feature_values(), c_features(), c_floor_ceiling(), c_freeze_inner(), c_get(), c_initrandom(), c_int2string(), c_is_function(), c_is_number(), c_is_persistent(), c_is_predicate(), c_is_sort(), c_is_value(), c_load(), c_log(), c_nonvar(), c_not(), c_page_width(), c_parents(), c_parse(), c_print_depth(), c_psi2string(), c_put_main(), c_random(), c_read(), c_residList(), c_rootsort(), c_set_choice(), c_set_input(), c_set_output(), c_sqrt(), c_string_length(), c_strip(), c_trig(), c_undo(), and c_var().
| #define set_1_2 3 |
Definition at line 46 of file lefun.h.
Referenced by c_add(), c_append_file(), c_assign(), c_bit_and(), c_bit_or(), c_bk_assign(), c_concatenate(), c_diff(), c_diff_address(), c_disj(), c_div(), c_equal(), c_exist_feature(), c_exists_choice(), c_funct(), c_glb(), c_global_assign(), c_gt(), c_gtoe(), c_intdiv(), c_isa_main(), c_isa_subsort(), c_logical_main(), c_lt(), c_ltoe(), c_lub(), c_mod(), c_mresiduate(), c_mult(), c_open_in(), c_pred(), c_project(), c_same_address(), c_shift(), c_string2psi(), c_sub(), c_such_that(), c_unify_func(), c_unify_pred(), and c_xor().
| #define set_1_2_3 7 |
| #define set_empty 0 |
Definition at line 43 of file lefun.h.
Referenced by c_cputime(), c_exists_choice(), c_get_choice(), c_localtime(), c_maxint(), c_ops(), c_print_codes(), c_quiet(), c_realtime(), c_repeat(), c_smallest(), c_step(), c_succeed(), c_tprove(), c_trace(), c_verbose(), c_warning(), generic_write(), and prove_aim().
| typedef struct wl_resid_block* ptr_resid_block |
| typedef struct wl_resid_block resid_block |
| void check_func | ( | ) |
| void curry | ( | ) |
Definition at line 179 of file lefun.c.
References can_curry, curried, and TRUE.
Referenced by c_add(), c_apply(), c_ascii(), c_bit_and(), c_bit_not(), c_bit_or(), c_call(), c_char(), c_children(), c_combined_name(), c_concatenate(), c_cond(), c_copy_pointer(), c_copy_term(), c_deref_length(), c_diff(), c_diff_address(), c_div(), c_equal(), c_eval(), c_eval_inplace(), c_exist_feature(), c_exists_choice(), c_exp(), c_feature_values(), c_features(), c_floor_ceiling(), c_funct(), c_glb(), c_gt(), c_gtoe(), c_int2string(), c_intdiv(), c_is_function(), c_is_number(), c_is_persistent(), c_is_predicate(), c_is_sort(), c_is_value(), c_isa_main(), c_log(), c_logical_main(), c_lt(), c_ltoe(), c_lub(), c_mod(), c_module_name(), c_mult(), c_nonvar(), c_not(), c_parents(), c_parse(), c_project(), c_psi2string(), c_quote(), c_random(), c_residList(), c_rootsort(), c_same_address(), c_set_choice(), c_shift(), c_split_double(), c_sqrt(), c_string2psi(), c_string_address(), c_string_length(), c_strip(), c_sub(), c_sub_string(), c_such_that(), c_trig(), c_unify_func(), c_var(), c_xor(), and call_primitive().
| void deref2_eval | ( | ) |
| void deref2_rec_eval | ( | ) |
| long deref_args_eval | ( | ) |
| long deref_eval | ( | ) |
| long deref_rec_eval | ( | ) |
| void do_currying | ( | ) |
Definition at line 379 of file lefun.c.
References wl_goal::a, wl_goal::b, goal_stack, wl_goal::next, NULL, push_goal(), Traceline, and unify_noeval.
Referenced by eval_aim(), main_prove(), and prove_aim().
| long do_residuation | ( | ) |
| long do_residuation_user | ( | ) |
Definition at line 326 of file lefun.c.
References do_residuation(), goal_stack, and wl_goal::next.
Referenced by main_prove(), and prove_aim().
| long eval_aim | ( | ) |
Definition at line 476 of file lefun.c.
References wl_pair_list::a, wl_goal::a, aim, wl_pair_list::b, wl_goal::b, wl_goal::c, c_rule, can_curry, choice_stack, clear_copy(), curried, deref_ptr, do_currying(), do_residuation(), eval, eval_copy(), eval_cut, FALSE, int_ptr, match, MAX_BUILT_INS, wl_pair_list::next, NULL, push2_ptr_value(), push_choice_point(), push_goal(), quote_copy(), save_resid(), SMASK, STACK, STACK_ALLOC, stack_pointer, wl_psi_term::status, Traceline, TRUE, and unify.
Referenced by main_prove().
| long f_check_out | ( | ) |
| long i_check_out | ( | ) |
| long i_eval_args | ( | ) |
| long match_aim | ( | ) |
Definition at line 733 of file lefun.c.
References wl_goal::a, aim, wl_psi_term::attr_list, attr_missing, wl_goal::b, wl_goal::c, can_curry, wl_psi_term::coref, curried, cut, deref_ptr, FALSE, FUNC_ARG, integer, match_attr(), matches(), NULL, overlap_type(), quoted_string, real, REAL, residuate_double(), restore_resid(), save_resid(), sys_bytedata, TRUE, wl_psi_term::type, and wl_psi_term::value.
Referenced by main_prove().
| void release_resid | ( | ) |
| void release_resid_notrail | ( | ) |
| void residuate | ( | ) |
| void residuate2 | ( | ) |
| void residuate3 | ( | ) |
| void residuate_double | ( | ) |
| long residuateGoalOnVar | ( | ) |
| void restore_resid | ( | ) |
| void save_resid | ( | ) |
| long can_curry |
Definition at line 25 of file lefun.c.
Referenced by c_freeze_inner(), curry(), eval_aim(), match_aim(), prove_aim(), restore_resid(), and save_resid().
| long curried |
Definition at line 24 of file lefun.c.
Referenced by c_freeze_inner(), curry(), eval_aim(), main_prove(), match_aim(), prove_aim(), restore_resid(), and save_resid().
Definition at line 21 of file lefun.c.
Referenced by c_freeze_inner(), check(), main_prove(), and prove_aim().
1.5.4