#include <extern.h>
Data Fields | |
| unsigned long | time_stamp |
| ptr_definition | type |
| long | status |
| long | flags |
| GENERIC | value |
| ptr_node | attr_list |
| ptr_psi_term | coref |
| ptr_residuation | resid |
Definition at line 469 of file extern.h.
| unsigned long wl_psi_term::time_stamp |
Definition at line 471 of file extern.h.
Referenced by copy(), distinct_copy(), heap_copy_psi_term(), heap_psi_term(), real_stack_psi_term(), stack_copy_psi_term(), and stack_psi_term().
Definition at line 473 of file extern.h.
Referenced by abort_life(), add_rule(), all_public_symbols(), apply1_internal(), assert_args_not_eval(), assert_attributes(), assert_complicated_type(), assert_delay_check(), assert_protected(), c_alias(), c_append_file(), c_apply(), c_args(), c_ascii(), c_boolpred(), c_call(), c_char(), c_chdir(), c_children(), c_close(), c_combined_name(), c_concatenate(), c_cond(), c_copy_pointer(), c_current_module(), c_display_modules(), c_display_persistent(), c_eval(), c_eval_disjunction(), c_exist_feature(), c_exists_choice(), c_freeze_inner(), c_get(), c_glb(), c_initrandom(), c_int2string(), c_is_function(), c_is_number(), c_is_persistent(), c_is_predicate(), c_is_sort(), c_listing(), c_localtime(), c_logical_main(), c_module_name(), c_mresiduate(), c_nonvar(), c_not(), c_open_out(), c_page_width(), c_parents(), c_parse(), c_print_depth(), c_project(), c_psi2string(), c_put_main(), c_quiet(), c_random(), c_read(), c_replace(), c_rootsort(), c_set_input(), c_set_output(), c_setq(), c_string2psi(), c_string_address(), c_string_length(), c_sub_string(), c_trace(), c_trace_input(), c_var(), c_xor(), call_once_internal(), call_primitive(), check_func(), clause_aim(), collect_symbols(), declare_operator(), get_buffer_internal(), get_record_internal(), global_error_check(), global_unify(), heap_add_int_attr(), heap_add_str_attr(), heap_psi_term(), init_built_in_types(), list_nil(), load_aim(), lub(), main(), make_bytedata(), make_life_form(), match_aim(), new_psi_term(), new_state(), parse(), parse_list(), persistent_error_check(), pred_clause(), pretty_list(), prove_aim(), read_psi_term(), real_stack_psi_term(), rec_replace(), regexp_execute_internal(), residuateGoalOnVar(), save_state(), set_parse_queryflag(), stack_add_int_attr(), stack_add_str_attr(), stack_bytes(), stack_cons(), stack_int(), stack_nil(), stack_pair(), stack_psi_term(), stack_string(), strict_matches(), sys_stream2stream_internal(), TOKEN_ERROR(), type_disj_aim(), unify_bool(), unify_bool_result(), unify_pterm_result(), update_symbol(), and what_next_aim().
| long wl_psi_term::status |
Definition at line 474 of file extern.h.
Referenced by c_freeze_inner(), check_func(), clause_aim(), copy(), eval_aim(), fetch_def(), fetch_def_lazy(), heap_psi_term(), list_nil(), mark_quote_c(), prove_aim(), real_stack_psi_term(), stack_psi_term(), and type_disj_aim().
| long wl_psi_term::flags |
Definition at line 477 of file extern.h.
Referenced by c_project(), copy(), heap_psi_term(), list_nil(), mark_quote_c(), real_stack_psi_term(), and stack_psi_term().
Definition at line 478 of file extern.h.
Referenced by add_rule(), bitvector_binop_code(), bitvector_bit_code(), bitvector_unop_code(), c_append_file(), c_args(), c_ascii(), c_char(), c_chdir(), c_children(), c_close(), c_combined_name(), c_concatenate(), c_copy_pointer(), c_current_module(), c_exist_feature(), c_get(), c_glb(), c_initrandom(), c_int2string(), c_is_number(), c_is_value(), c_listing(), c_module_name(), c_open_out(), c_page_width(), c_parents(), c_parse(), c_print_depth(), c_project(), c_psi2string(), c_put_main(), c_random(), c_read(), c_rootsort(), c_set_output(), c_string2psi(), c_string_address(), c_string_length(), c_sub_string(), call_primitive(), copy(), declare_operator(), get_buffer_internal(), get_record_internal(), global_error_check(), global_unify(), heap_add_int_attr(), heap_add_str_attr(), heap_mod_int_attr(), heap_mod_str_attr(), heap_psi_term(), list_nil(), make_bytedata(), make_life_form(), match_aim(), new_state(), prove_aim(), read_psi_term(), real_stack_psi_term(), rec_replace(), regexp_compile_internal(), residuateGoalOnVar(), save_state(), stack_add_int_attr(), stack_add_str_attr(), stack_bytes(), stack_int(), stack_psi_term(), stack_string(), strict_matches(), and sys_stream2stream_internal().
Definition at line 479 of file extern.h.
Referenced by add_rule(), all_public_symbols(), apply1_internal(), assert_attributes(), assert_complicated_type(), 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_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_glb(), c_global(), 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_listing(), c_load(), c_log(), c_logical_main(), c_lt(), c_ltoe(), c_lub(), c_mod(), c_module_name(), c_mresiduate(), c_mult(), c_non_strict(), c_nonvar(), c_not(), c_open_in(), c_open_module(), c_open_out(), c_page_width(), c_parents(), c_parse(), c_persistent(), c_pred(), c_print_depth(), c_private(), c_private_feature(), c_project(), c_psi2string(), c_public(), c_put_main(), c_quote(), c_random(), c_read(), c_replace(), 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_split_double(), c_sqrt(), c_static(), c_string2psi(), c_string_address(), c_string_length(), c_strip(), c_sub(), c_sub_string(), c_such_that(), c_trace(), c_trace_input(), c_trig(), c_undo(), c_unify_func(), c_unify_pred(), c_var(), c_xor(), call_primitive(), clause_aim(), copy(), deref_args_eval(), distinct_copy(), fetch_def(), fetch_def_lazy(), generic_write(), global_error_check(), global_unify(), heap_psi_term(), list_nil(), make_life_form(), match_aim(), new_psi_term(), parse_list(), pretty_list(), prove_aim(), read_life_form(), read_psi_term(), real_stack_psi_term(), rec_replace(), regexp_execute_internal(), replace_attr(), stack_cons(), stack_pair(), stack_psi_term(), type_disj_aim(), and unify_pterm_result().
Definition at line 480 of file extern.h.
Referenced by add_rule(), c_bk_assign(), c_deref_length(), c_global_assign(), c_open_in(), c_open_out(), c_project(), heap_psi_term(), list_nil(), make_life_form(), match_aim(), prove_aim(), read_psi_term(), real_stack_psi_term(), and stack_psi_term().
Definition at line 481 of file extern.h.
Referenced by add_rule(), c_project(), c_residList(), copy(), heap_psi_term(), list_nil(), make_life_form(), read_psi_term(), real_stack_psi_term(), residuateGoalOnVar(), and stack_psi_term().
1.5.4