#include <extern.h>
Data Fields | |
| goals | type |
| ptr_psi_term | a |
| ptr_psi_term | b |
| GENERIC | c |
| ptr_goal | next |
| long | pending |
Definition at line 578 of file extern.h.
Definition at line 579 of file extern.h.
Referenced by main_prove(), num_choices(), push_choice_point(), push_goal(), and WFInput().
Definition at line 580 of file extern.h.
Referenced by all_public_symbols(), c_add(), c_alias(), c_append_file(), c_apply(), c_ascii(), c_assert_first(), c_assert_last(), c_assign(), c_bit_and(), c_bit_not(), c_bit_or(), c_bk_assign(), c_boolpred(), c_call(), c_char(), c_chdir(), c_children(), c_clause(), c_close(), c_combined_name(), c_concatenate(), c_cond(), c_copy_pointer(), c_copy_term(), c_cputime(), c_current_module(), c_declaration(), c_delay_check(), c_deref_length(), c_diff(), c_diff_address(), c_disj(), c_display_modules(), c_display_persistent(), c_div(), c_dynamic(), c_equal(), c_eval(), c_eval_disjunction(), 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(), c_global_assign(), c_gt(), c_gtoe(), c_in_raw(), 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_listing(), c_load(), c_localtime(), c_log(), c_logical_main(), c_lt(), c_ltoe(), c_lub(), c_maxint(), c_mod(), c_module_access(), c_module_name(), c_mresiduate(), c_mult(), c_non_strict(), c_nonvar(), c_not(), c_not_implemented(), c_op(), c_open_in(), c_open_module(), c_open_out(), c_ops(), c_page_width(), c_parents(), c_parse(), c_persistent(), c_pred(), c_print_codes(), c_print_depth(), c_private(), c_private_feature(), c_project(), c_psi2string(), c_public(), c_put_main(), c_quiet(), c_quote(), c_random(), c_read(), c_realtime(), c_repeat(), c_replace(), c_reset_window_flag(), c_residList(), c_retract(), c_rootsort(), c_same_address(), c_set_choice(), c_set_input(), c_set_module(), c_set_output(), c_setq(), c_shift(), c_smallest(), c_split_double(), c_sqrt(), c_static(), c_step(), c_string2psi(), c_string_address(), c_string_length(), c_strip(), c_sub(), c_sub_string(), c_succeed(), c_such_that(), c_tprove(), c_trace(), c_trace_input(), c_trig(), c_undo(), c_unify_func(), c_unify_pred(), c_var(), c_verbose(), c_warning(), c_window_flag(), c_xor(), call_primitive(), clause_aim(), do_currying(), do_residuation(), eval_aim(), generic_write(), load_aim(), main_prove(), match_aim(), pretty_psi_term(), prove_aim(), push_choice_point(), push_goal(), release_resid_main(), type_disj_aim(), WFInput(), and what_next_aim().
Definition at line 581 of file extern.h.
Referenced by all_public_symbols(), c_add(), c_apply(), c_args(), 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_cputime(), c_current_module(), c_deref_length(), c_diff(), c_diff_address(), c_div(), c_equal(), c_eval(), c_eval_disjunction(), c_eval_inplace(), c_exist_feature(), c_exists_choice(), c_exp(), c_feature_values(), c_features(), c_floor_ceiling(), c_get_choice(), c_glb(), c_gt(), c_gtoe(), c_in_raw(), 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_localtime(), c_log(), c_logical_main(), c_lt(), c_ltoe(), c_lub(), c_maxint(), c_mod(), c_module_name(), c_mult(), c_nonvar(), c_not(), c_ops(), c_parents(), c_parse(), c_project(), c_psi2string(), c_quiet(), c_quote(), c_random(), c_realtime(), c_residList(), c_rootsort(), c_same_address(), c_shift(), c_smallest(), 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_window_flag(), c_xor(), call_primitive(), clause_aim(), do_currying(), eval_aim(), load_aim(), main_prove(), match_aim(), prove_aim(), push_choice_point(), push_goal(), type_disj_aim(), and what_next_aim().
Definition at line 582 of file extern.h.
Referenced by c_freeze_inner(), c_get_raw(), clause_aim(), eval_aim(), load_aim(), main_prove(), match_aim(), push_choice_point(), push_goal(), and what_next_aim().
Definition at line 583 of file extern.h.
Referenced by depth_gs(), do_currying(), do_residuation_user(), main_prove(), prove_aim(), push_choice_point(), push_goal(), release_resid_main(), and WFInput().
| long wl_goal::pending |
Definition at line 584 of file extern.h.
Referenced by pretty_psi_term(), push_choice_point(), push_goal(), and release_resid_main().
1.5.4