#include <stdio.h>#include <string.h>#include <math.h>#include <sys/types.h>#include <sys/stat.h>#include <sys/time.h>#include <sys/times.h>#include <assert.h>#include <errno.h>#include <setjmp.h>#include "types.h"#include "error.h"#include <varargs.h>Go to the source code of this file.
| #define ALIGN 8 |
| #define code_ptr 4 |
Definition at line 534 of file extern.h.
Referenced by check_undo_stack(), and residuateGoalOnVar().
| #define COPY_THRESHOLD (GC_THRESHOLD>>3) |
| #define cut_ptr 6 |
Definition at line 536 of file extern.h.
Referenced by check_special_addresses(), and check_undo_stack().
| #define cut_to | ( | C | ) |
Value:
{ ptr_choice_point cp=choice_stack; \
while ((GENERIC)cp>(GENERIC)(C)) cp=cp->next; \
choice_stack=cp; \
}
Definition at line 236 of file extern.h.
Referenced by main_prove(), and prove_aim().
| #define def_ptr 3 |
Definition at line 533 of file extern.h.
Referenced by check_undo_stack(), get_bool_value(), get_real_value(), push_def_ptr_value(), rec_replace(), residuateGoalOnVar(), type_disj_aim(), and unify_real_result().
| #define DEFRULES -1 |
Definition at line 148 of file extern.h.
Referenced by abort_life(), c_boolpred(), c_call(), c_disj(), c_freeze_inner(), c_repeat(), c_such_that(), c_undo(), call_once_internal(), check_goal_stack(), fetch_def(), fetch_def_lazy(), load_aim(), main(), my_wait_on_feature_internal(), prove_aim(), wait_on_feature_internal(), WFInput(), and what_next_aim().
| #define deref_ptr | ( | P | ) | while(P->coref) P=P->coref |
Definition at line 251 of file extern.h.
Referenced by add_rule(), all_public_symbols(), assert_args_not_eval(), assert_attributes(), assert_clause(), assert_complicated_type(), assert_delay_check(), assert_less(), assert_protected(), 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_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_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_quiet(), c_quote(), c_random(), c_read(), c_realtime(), c_replace(), c_reset_window_flag(), c_residList(), 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_window_flag(), c_xor(), call_primitive(), check_out(), check_pointer(), copy(), declare_operator(), deref2_eval(), deref2_rec_eval(), deref_eval(), deref_rec_args(), deref_rec_args_exc(), deref_rec_body(), do_residuation(), eval_aim(), eval_global_var(), fetch_def(), fetch_def_lazy(), forbid_variables(), get_module(), global_error_check(), global_one(), global_tree(), global_unify(), insert_variables(), main_display_psi_term(), make_feature_private(), make_life_form(), make_public(), mark_eval_new(), mark_quote_c(), mark_quote_new(), match_aim(), persistent_error_check(), persistent_tree(), pred_clause(), pretty_list(), pretty_psi_term(), pretty_psi_with_ops(), pretty_tag_or_psi_term(), pretty_variables(), prove_aim(), rec_replace(), redefine(), string_val(), traverse_tree(), unify_real_result(), WFFeatureCount(), WFFeatures(), WFGetDouble(), WFGetFeature(), WFGetString(), WFGetVar(), and WFType().
| #define destroy_window 7+32 |
| #define DIGIT | ( | C | ) | (C>='0' && C<='9') |
Definition at line 193 of file extern.h.
Referenced by handle_interrupt(), is_integer(), legal_in_name(), read_number(), and str_to_int().
| #define EOLN 10 |
Definition at line 150 of file extern.h.
Referenced by handle_interrupt(), parse(), read_char(), read_comment(), what_next_aim(), and yes_or_no().
| #define equ_tok | ( | A, | |||
| B | ) | (!strcmp(A.type->keyword->symbol,B)) |
Definition at line 218 of file extern.h.
Referenced by assert_clause(), assert_complicated_type(), and read_psi_term().
| #define equ_tokc | ( | A, | |||
| B | ) | (B?equ_tokch(A,B):A.type->keyword->symbol[0]==0) |
| #define equ_tokch | ( | A, | |||
| B | ) | (A.type->keyword->symbol[0]==B && A.type->keyword->symbol[1]==0) |
Definition at line 222 of file extern.h.
Referenced by make_life_form(), parse_list(), read_life_form(), and read_psi_term().
| #define equal_types | ( | A, | |||
| B | ) | ((A)==(B)) |
Definition at line 260 of file extern.h.
Referenced by c_close(), c_page_width(), c_print_depth(), c_put_main(), c_set_input(), c_set_output(), pretty_list(), pretty_psi_term(), psi_to_string(), and read_psi_term().
| #define FACT 100 |
Definition at line 161 of file extern.h.
Referenced by c_parse(), c_read(), load_aim(), main(), parse(), set_parse_queryflag(), WFInput(), and what_next_aim().
| #define FALSE 0 |
Definition at line 137 of file extern.h.
Referenced by abort_life(), accept_internal(), all_symbol(), append_files(), apply1_internal(), assert_args_not_eval(), assert_clause(), assert_complicated_type(), assert_delay_check(), assert_less(), bind_or_connect_internal(), bitvector_bit_code(), bk2_stack_insert(), bk_stack_insert(), bounds_undo_stack(), c_add(), c_alias(), c_append_file(), c_apply(), c_ascii(), c_assert_first(), c_assert_last(), c_assign(), c_begin_raw(), c_bit_and(), c_bit_not(), c_bit_or(), c_bk_assign(), c_boolpred(), c_call(), c_ceiling(), c_char(), c_chdir(), c_clause(), c_close(), c_concatenate(), c_declaration(), c_diff(), c_diff_address(), c_disj(), c_display_modules(), c_display_persistent(), c_div(), c_dynamic(), c_end_raw(), c_equal(), c_exists(), c_exists_choice(), c_exp(), c_fail(), c_freeze_inner(), c_get(), c_get_raw(), c_glb(), c_global(), c_global_assign(), c_implies(), c_initrandom(), c_int2string(), c_intdiv(), c_isa_subsort(), c_listing(), c_load(), c_log(), c_logical_main(), c_mod(), c_module_access(), c_mresiduate(), c_mult(), c_not(), c_not_implemented(), c_open_in(), c_open_module(), c_open_out(), c_or(), c_page_width(), c_parse(), c_persistent(), c_pred(), c_print_depth(), c_private(), c_private_feature(), c_project(), c_public(), c_put(), c_put_main(), c_pwrite(), c_pwriteq(), c_random(), c_read(), c_read_token(), c_replace(), c_reset_window_flag(), c_retract(), c_same_address(), c_set_choice(), c_set_input(), c_set_module(), c_set_output(), c_setq(), c_shift(), c_shift_left(), c_split_double(), c_sqrt(), c_string2psi(), c_string_address(), c_string_length(), c_sub(), c_sub_string(), c_trace(), c_trace_input(), c_trig(), c_undo(), c_unify_pred(), c_window_flag(), c_write(), c_write_canonical(), c_write_err(), c_writeq(), c_writeq_err(), c_xor(), call_primitive(), check_out(), check_real(), check_type(), clause_aim(), clear_already_loaded(), copy(), crunch(), cuserid_internal(), dbmdelete_internal(), dbmfetch_internal(), dbmfirstkey_internal(), dbminit_internal(), dbmnextkey_internal(), dbmstore_internal(), declare_operator(), deref_args_eval(), deref_eval(), deref_rec_eval(), display_couple(), do_residuation(), encode_types(), errmsg_internal(), eval_aim(), eval_copy(), exact_copy(), fclose_internal(), fetch_def_lazy(), fflush_internal(), file_exists(), find(), fopen_internal(), fork_internal(), fseek_internal(), fwrite_internal(), garbage(), general_insert(), get_arg(), get_bool(), get_bool_value(), get_buffer_internal(), get_code_internal(), get_module(), get_real_value(), gethostname_internal(), glb(), glb_code(), glb_value(), global_error_check(), global_unify(), global_unify_attr(), handle_interrupt(), has_non_alpha(), has_rules(), heap_insert(), heap_psi_term(), i_check_out(), i_eval_args(), import_symbol_internal(), in_set(), inherit_always_check(), init_parse_state(), init_system(), init_trace(), insert_own_prop(), insert_prop(), int2stream_internal(), is_int(), is_integer(), isSubTypeValue(), kill_internal(), list_nil(), list_special(), listen_internal(), listing_pred_write(), load_aim(), main(), main_display_psi_term(), main_pred_write(), main_prove(), make_bitvector_internal(), mark_eval(), mark_eval_new(), mark_quote_new(), mark_quote_new2(), match_aim(), matches(), memory_check(), new_definition(), new_tab(), no_quote(), only_arg1(), open_input_file(), open_module_one(), open_output_file(), overlap_type(), parse(), parse_list(), pop(), pred_clause(), pred_write(), pretty_list(), pretty_psi_term(), pretty_psi_with_ops(), pretty_tag_or_psi_term(), prettyf(), print_resid_message(), print_variables(), propagate_always_check(), prove_aim(), psi_term_error(), push_choice_point(), push_goal(), quote_copy(), read_char(), read_life_form(), read_name(), read_psi_term(), read_string(), read_string_error(), read_token_main(), real_stack_psi_term(), redefine(), regexp_execute_internal(), release_resid_main(), release_resid_notrail(), residuateGoalOnVar(), restore_resid(), socket_internal(), stack_insert(), stack_psi_term(), stdin_cleareof(), strict_matches(), sub_CodeType(), sub_type(), traverse_tree(), two_or_more(), type_cyclicity(), type_disj_aim(), type_member(), unchecked(), unify_real_result(), unify_wait_result(), update_symbol(), WFGetDouble(), WFGetString(), WFInit(), WFInput(), what_next_aim(), and work_out_length().
| #define FUNC_ARG | ( | t | ) | ((t)<match_date || (GENERIC)(t)>=heap_pointer) |
| #define GC_THRESHOLD (alloc_words>>3) |
| #define goal_ptr 5 |
Definition at line 535 of file extern.h.
Referenced by check_undo_stack(), and release_resid_main().
| #define HEAP TRUE |
Definition at line 157 of file extern.h.
Referenced by add_rule(), c_assign(), c_setq(), copy(), general_insert(), global_one(), heap_insert(), and heap_insert_copystr().
| #define HEAP_ALLOC | ( | A | ) | (A *)heap_alloc(sizeof(A)) |
Definition at line 128 of file extern.h.
Referenced by add_rule(), c_setq(), cons(), copyTypeCode(), create_module(), equalize_codes(), find_adults(), general_insert(), heap_copy_psi_term(), heap_psi_term(), import_symbol_internal(), insert_own_prop(), insert_prop(), new_definition(), new_tab(), open_module_one(), or_codes(), two_to_the(), and update_symbol().
| #define hide_window 9+32 |
| #define int_ptr 2 |
Definition at line 532 of file extern.h.
Referenced by bk_mark_quote(), check_type(), check_undo_stack(), deref_eval(), deref_rec_body(), eval_aim(), fetch_def(), fetch_def_lazy(), general_insert(), get_bool_value(), get_real_value(), push_def_ptr_value(), push_psi_ptr_value(), rec_replace(), release_resid_main(), residuateGoalOnVar(), and unify_real_result().
| #define INT_SIZE 8*sizeof(unsigned long) |
| #define is_top | ( | T | ) | ((T)!=NULL && (T)->type==top && (T)->attr_list==NULL) |
Definition at line 262 of file extern.h.
Referenced by c_open_in(), c_trace(), and pretty_tag_or_psi_term().
| #define ISALPHA | ( | C | ) | (DIGIT(C) || UPPER(C) || LOWER(C)) |
| #define LOWER | ( | C | ) | (C>='a' && C<='z') |
Definition at line 197 of file extern.h.
Referenced by legal_in_name(), no_quote(), and starts_nonlower().
| #define MAX_BUILT_INS 300 |
Definition at line 88 of file extern.h.
Referenced by add_rule(), assert_protected(), c_freeze_inner(), check_bytedata(), check_string(), clause_aim(), eval_aim(), is_built_in(), new_built_in(), prove_aim(), redefine(), and unchecked().
| #define MAX_LEVEL ((PROMPT_BUFFER-4-strlen(PROMPT))/2) |
| #define MAX_PRECEDENCE 1200 |
Definition at line 109 of file extern.h.
Referenced by declare_operator(), display_couple(), main_display_psi_term(), main_pred_write(), op_declare(), pretty_list(), pretty_psi_with_ops(), pretty_variables(), print_resid_message(), read_life_form(), and write_attributes().
| #define noneval | ( | T | ) | (T->type==quote || T->type==listingsym || T->type==loadsym) |
| #define NOT_CODED 0 |
Definition at line 143 of file extern.h.
Referenced by clear_coding(), encode_types(), glb(), glb_code(), init_built_in_types(), matches(), new_definition(), overlap_type(), print_code(), sub_CodeType(), and type_cyclicity().
| #define PARSER_STACK_SIZE 10000 |
| #define PRINT_BUFFER 100000 |
| #define PRINT_DEPTH 1000000000 |
| #define PRINT_POWER 9 |
| #define PRINT_SPLIT 1000000000 |
| #define PROMPT "> " |
| #define psi_term_ptr 0 |
Definition at line 530 of file extern.h.
Referenced by c_cond(), check_undo_stack(), eval_global_var(), and push_psi_ptr_value().
| #define QUERY 200 |
Definition at line 162 of file extern.h.
Referenced by c_parse(), c_read(), load_aim(), main(), parse(), set_parse_queryflag(), WFInput(), and what_next_aim().
| #define QUOTED_TRUE 1 |
Definition at line 132 of file extern.h.
Referenced by bk_mark_quote(), c_project(), copy(), heap_psi_term(), mark_eval_new(), mark_quote(), mark_quote_c(), mark_quote_new(), real_stack_psi_term(), and stack_psi_term().
| #define REAL double |
Definition at line 78 of file extern.h.
Referenced by apply1_internal(), bind_or_connect_internal(), bitvector_bit_code(), bitvector_bit_internal(), bitvector_unop_code(), c_add(), c_ascii(), c_bit_and(), c_bit_not(), c_bit_or(), c_char(), c_cond(), c_cputime(), c_deref_length(), c_diff(), c_diff_address(), c_div(), c_equal(), c_exist_feature(), c_exists_choice(), c_exp(), c_floor_ceiling(), c_get(), c_get_choice(), c_get_raw(), c_gt(), c_gtoe(), c_int2string(), c_intdiv(), c_log(), c_lt(), c_ltoe(), c_maxint(), c_mod(), c_mult(), c_page_width(), c_print_depth(), c_project(), c_put_main(), c_random(), c_read(), c_realtime(), c_same_address(), c_set_choice(), c_shift(), c_split_double(), c_sqrt(), c_string_address(), c_sub(), c_trig(), check_psi_term(), check_real(), check_resid(), declare_operator(), errmsg_internal(), fork_internal(), fseek_internal(), ftell_internal(), get_buffer_internal(), get_code_internal(), get_real_value(), getpid_internal(), glb_value(), global_unify(), heap_add_int_attr(), heap_mod_int_attr(), int2stream_internal(), isSubTypeValue(), kill_internal(), lazy_project_internal(), listen_internal(), make_bitvector_internal(), make_feature_list(), make_life_form(), match_aim(), my_wait_on_feature_internal(), pretty_psi_term(), read_number(), read_psi_term(), real_stack_psi_term(), regexp_execute_internal(), restore_state(), stack_add_int_attr(), stack_int(), title(), unify_real_result(), wait_on_feature_internal(), and waitpid_internal().
| #define resid_ptr 1 |
Definition at line 531 of file extern.h.
Referenced by append_resid(), check_undo_stack(), release_resid_main(), and residuateGoalOnVar().
| #define RMASK 256 |
Definition at line 169 of file extern.h.
Referenced by bk_mark_quote(), check_func(), check_out(), check_type(), fetch_def(), and mark_quote().
| #define show_window 8+32 |
| #define SINGLE | ( | C | ) |
Value:
(C=='(' || C==')' || C=='[' || C==']' || C=='{' || C=='`' ||\ C=='}' || C==',' || C=='.' || C==';' || C=='@' ||\ C=='!')
Definition at line 203 of file extern.h.
Referenced by no_quote().
| #define SMASK 255 |
| #define STACK FALSE |
Definition at line 158 of file extern.h.
Referenced by bk2_stack_insert(), bk_stack_insert(), c_copy_term(), c_eval(), c_freeze_inner(), clause_aim(), eval_aim(), eval_global_var(), fetch_def(), fetch_def_lazy(), prove_aim(), stack_insert(), and stack_insert_copystr().
| #define STACK_ALLOC | ( | A | ) | (A *)stack_alloc(sizeof(A)) |
Definition at line 129 of file extern.h.
Referenced by appendIntList(), bfs(), c_cond(), c_freeze_inner(), copy_attr_list(), decode(), distinct_copy(), distinct_tree(), eval_aim(), eval_global_var(), general_insert(), glb(), glb_code(), makeUnitList(), new_psi_term(), one_attr(), prove_aim(), push2_ptr_value(), push_choice_point(), push_def_ptr_value(), push_goal(), push_psi_ptr_value(), push_ptr_value(), push_window(), real_stack_psi_term(), residuate(), residuate_double(), residuateGoalOnVar(), stack_copy_psi_term(), and stack_psi_term().
| #define STRLEN 10000 |
Definition at line 92 of file extern.h.
Referenced by c_int2string(), expand_file_name(), heap_nice_name(), pretty_psi_term(), read_name(), read_string(), and title().
| #define SYMBOL | ( | C | ) |
Value:
(C=='#' || C=='$' || C=='%' || C=='&' ||\ C=='*' || C=='+' || C=='-' || C=='>' || C=='/' ||\ C==':' || C=='<' || C=='=' ||\ C=='~' || C=='^' || C=='|' || C=='\\' ||\ C=='.' || C=='?' /* RM: Jul 7 1993 */ \ )
Definition at line 208 of file extern.h.
Referenced by all_symbol(), read_name(), and symbolic().
| #define TRUE 1 |
Definition at line 136 of file extern.h.
Referenced by abort_life(), accept_internal(), add_rule(), all_public_symbols(), all_symbol(), append_files(), apply1_internal(), assert_attributes(), assert_complicated_type(), assert_less(), bad_psi_term(), bind_or_connect_internal(), bitvector_binop_code(), bitvector_bit_code(), bitvector_unop_code(), bounds_undo_stack(), c_abort(), c_add(), c_alias(), c_and(), c_append_file(), c_apply(), c_args(), c_ascii(), c_assert_first(), c_assign(), c_begin_raw(), c_bit_and(), c_bit_not(), c_bit_or(), c_bk_assign(), c_boolpred(), c_call(), c_char(), c_children(), c_close(), c_combined_name(), c_concatenate(), c_cond(), c_copy_pointer(), c_copy_term(), c_current_module(), c_delay_check(), c_deref_length(), c_diff(), c_diff_address(), c_disj(), c_display_modules(), c_display_persistent(), c_div(), c_dynamic(), c_end_raw(), 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(), c_floor_ceiling(), c_freeze(), c_freeze_inner(), c_funct(), c_get(), c_get_choice(), c_get_raw(), c_glb(), c_global_assign(), c_gt(), c_gtoe(), c_halt(), 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_localtime(), 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_out(), c_ops(), c_page_width(), c_parents(), c_parse(), c_pred(), c_print_codes(), c_print_depth(), c_print_variables(), c_private(), c_private_feature(), c_project(), c_psi2string(), c_public(), c_put_err(), c_put_main(), c_put_raw(), c_pwrite(), c_pwriteq(), c_quiet(), c_quote(), c_random(), c_read(), c_read_psi(), c_repeat(), c_replace(), c_reset_window_flag(), c_residList(), c_rootsort(), c_same_address(), c_set_choice(), c_set_input(), c_set_module(), c_set_output(), c_setq(), c_shift(), c_shift_right(), c_smallest(), c_split_double(), c_sqrt(), c_static(), c_step(), c_string2psi(), 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_write_canonical(), c_write_err(), c_writeq(), c_writeq_err(), c_xor(), call_once_internal(), call_primitive(), check(), check_disj(), check_func(), check_out(), check_real(), check_type(), clause_aim(), compress(), copy(), curry(), cuserid_internal(), dbmdelete_internal(), dbmfetch_internal(), dbmfirstkey_internal(), dbminit_internal(), dbmnextkey_internal(), dbmstore_internal(), declare_operator(), deref_eval(), deref_rec_body(), disjunct_aim(), display_couple(), do_residuation(), encode_types(), errmsg_internal(), errno_internal(), eval_aim(), eval_args(), f_check_out(), fail_all(), fclose_internal(), fflush_internal(), file_exists(), find(), fopen_internal(), fseek_internal(), fwrite_internal(), garbage(), general_insert(), generic_write(), get_arg(), get_bool(), get_bool_value(), get_buffer_internal(), get_module(), get_real_value(), get_record_internal(), gethostname_internal(), glb(), glb_code(), glb_value(), global_error_check(), global_unify(), global_unify_attr(), handle_interrupt(), has_non_alpha(), has_rules(), heap_insert_copystr(), import_symbol_internal(), in_set(), inc_heap_copy(), init_built_in_types(), init_io(), init_parse_state(), insert_own_prop(), insert_prop(), int2stream_internal(), interrupt(), is_int(), is_integer(), isa(), isSubTypeValue(), kill_internal(), lazy_project_internal(), List_CountAtom(), List_EnumBackFrom(), List_EnumFrom(), list_special(), List_SwapLinks(), listen_internal(), listing_pred_write(), load_aim(), main(), main_display_psi_term(), main_prove(), make_bitvector_internal(), make_feature_private(), make_public(), mark_eval_new(), mark_nonstrict(), mark_quote_new(), match_aim(), match_attr1(), match_attr3(), matches(), memory_check(), my_wait_on_feature_internal(), new_definition(), no_quote(), only_arg1(), open_input_file(), open_module_one(), open_output_file(), overlap_type(), parse(), persistent_error_check(), pred_clause(), pretty_list(), pretty_output(), pretty_psi_with_ops(), print_resid_message(), print_variables(), propagate_always_check(), prove_aim(), psi_to_string(), read_char(), read_life_form(), read_name(), read_psi_term(), read_string(), read_token(), redefine(), regexp_compile_internal(), regexp_execute_internal(), release_resid(), residuateGoalOnVar(), restore_resid(), socket_internal(), stack_insert_copystr(), stdin_cleareof(), stream2sys_stream_internal(), strict_matches(), sub_CodeType(), sub_type(), sys_stream2stream_internal(), tracing(), traverse_tree(), two_or_more(), type_cyclicity(), type_member(), unchecked(), unify_pterm_result(), unify_real_result(), wait_on_feature_internal(), WFGetDouble(), WFGetString(), WFInit(), WFInput(), what_next_aim(), and work_out_length().
| #define TRUEMASK 1 |
| #define UNDEF 2 |
Definition at line 141 of file extern.h.
Referenced by c_logical_main(), c_not(), c_xor(), and get_bool().
| #define undo_action 32 |
Definition at line 548 of file extern.h.
Referenced by bounds_undo_stack(), check_special_addresses(), clean_trail(), clean_undo_window(), push_window(), and undo().
| #define UPPER | ( | C | ) | ((C>='A' && C<='Z') || C=='_') |
| #define VALID_ADDRESS | ( | A | ) |
Value:
( VALID_RANGE(A) \ || (GENERIC)A==(GENERIC)&var_tree \ )
Definition at line 286 of file extern.h.
Referenced by bounds_undo_stack(), compress(), push_def_ptr_value(), push_psi_ptr_value(), push_ptr_value(), and unchecked().
Definition at line 276 of file extern.h.
Referenced by check_special_addresses(), and clean_trail().
| #define VarArg ___va_lp___ |
| #define VarArgDecl va_list VarArg |
| #define VarArgInit | ( | l | ) | va_start(VarArg, l) |
| #define wl_const | ( | S | ) | ((S).value==NULL && (S).type!=variable) |
| #define WL_MAXINT 9007199254740991.0 |
| #define XEVENTDELAY 1000 |
| typedef struct wl_choice_point choice_point |
| typedef struct wl_definition definition |
| typedef struct wl_int_list int_list |
| typedef struct wl_operator_data operator_data |
| typedef struct wl_pair_list pair_list |
| typedef struct wl_psi_term psi_term |
| typedef struct wl_choice_point* ptr_choice_point |
| typedef struct wl_definition* ptr_definition |
| typedef struct wl_hash_table* ptr_hash_table |
| typedef struct wl_int_list* ptr_int_list |
| typedef struct wl_keyword* ptr_keyword |
| typedef struct wl_module* ptr_module |
| typedef struct wl_operator_data* ptr_operator_data |
| typedef struct wl_pair_list* ptr_pair_list |
| typedef struct wl_psi_term* ptr_psi_term |
| typedef struct wl_resid_list* ptr_resid_list |
| typedef struct wl_residuation* ptr_residuation |
| typedef struct wl_triple_list* ptr_triple_list |
| typedef struct wl_resid_list resid_list |
| typedef struct wl_residuation residuation |
| typedef struct wl_triple_list triple_list |
| enum def_type |
| enum goals |
| int hash_code | ( | ) |
Referenced by hash_display(), and hash_find().
| ptr_hash_table hash_create | ( | ) |
Referenced by create_module().
| void hash_display | ( | ) |
| void hash_expand | ( | ) |
Referenced by hash_insert().
| void hash_insert | ( | ) |
Referenced by hash_expand(), import_symbol_internal(), and update_symbol().
| ptr_keyword hash_lookup | ( | ) |
| GENERIC heap_alloc | ( | ) |
Referenced by c_char(), c_get(), c_read(), encode_types(), end_tab(), get_buffer_internal(), get_record_internal(), heap_add_int_attr(), heap_ncopy_string(), make_bytedata(), make_feature_list(), make_life_form(), op_declare(), read_number(), real_stack_psi_term(), stack_add_int_attr(), stack_int(), str_conc(), sub_str(), and unify_real_result().
| ptr_psi_term heap_psi_term | ( | ) |
Referenced by c_setq(), heap_add_int_attr(), heap_add_str_attr(), init_built_in_types(), new_state(), persistent_one(), and save_state().
| void init_system | ( | ) |
Definition at line 122 of file lib.c.
References choice_stack, current_module, exit_if_true(), FALSE, goal_stack, init_global_vars(), mem_base, memory_check(), wl_module::module_name, NULL, PROMPT, prompt, prompt_buffer, resid_aim, stack_nil(), stack_pointer, undo_stack, user_module, and var_tree.
Referenced by abort_life(), main(), and WFInit().
| ptr_psi_term real_stack_psi_term | ( | ) |
Referenced by c_get_choice(), c_page_width(), c_print_depth(), and c_random().
| GENERIC stack_alloc | ( | ) |
Referenced by lub(), and stack_copy_string().
| ptr_psi_term stack_psi_term | ( | ) |
Referenced by abort_life(), all_public_symbols(), c_args(), c_call(), c_char(), c_children(), c_combined_name(), c_cond(), c_copy_pointer(), c_current_module(), c_exist_feature(), c_exists_choice(), c_get(), c_int2string(), c_is_function(), c_is_predicate(), c_is_sort(), c_localtime(), c_module_name(), c_nonvar(), c_open_out(), c_parents(), c_parse(), c_psi2string(), c_quiet(), c_read(), c_rootsort(), c_string2psi(), c_string_address(), c_var(), call_once_internal(), check_func(), collect_symbols(), get_buffer_internal(), get_record_internal(), global_one(), make_bytedata(), make_feature_list(), new_psi_term(), pred_clause(), prove_aim(), read_psi_term(), regexp_execute_internal(), set_parse_queryflag(), stack_add_int_attr(), stack_add_str_attr(), stack_bytes(), stack_cons(), stack_int(), stack_nil(), stack_pair(), stack_string(), sys_stream2stream_internal(), unify_bool(), unify_bool_result(), and unify_pterm_result().
Definition at line 53 of file login.c.
Referenced by all_public_symbols(), c_add(), c_alias(), c_append_file(), c_apply(), c_args(), 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_get_raw(), 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(), check(), deref_args_eval(), deref_eval(), deref_rec_eval(), eval_aim(), generic_write(), and match_aim().
Definition at line 71 of file built_in.c.
Referenced by c_mresiduate(), check(), check_psi_term(), check_resid(), pretty_list(), pretty_psi_term(), and read_psi_term().
| int alloc_words |
| int arg_c |
Definition at line 133 of file built_in.c.
Referenced by c_args(), GetStrOption(), main(), and WFInit().
| char** arg_v |
Definition at line 134 of file built_in.c.
Referenced by c_args(), GetStrOption(), main(), and WFInit().
| long assert_first |
Definition at line 63 of file login.c.
Referenced by add_rule(), c_assert_first(), c_assert_last(), load_aim(), main(), WFInput(), and what_next_aim().
| long assert_ok |
Definition at line 64 of file login.c.
Referenced by add_rule(), assert_clause(), assert_complicated_type(), assert_type(), c_assert_first(), c_assert_last(), main(), and WFInput().
Definition at line 53 of file built_in.c.
| long(* c_rule[])() |
Referenced by eval_aim(), new_built_in(), and prove_aim().
Definition at line 45 of file login.c.
Referenced by c_call(), c_exists_choice(), c_freeze_inner(), c_get_choice(), c_set_choice(), call_once_internal(), check(), check_goal_stack(), check_psi_term(), check_resid(), check_special_addresses(), copy(), depth_cs(), eval_aim(), fail_all(), init_system(), pchoices(), and WFInput().
Definition at line 26 of file modules.c.
Referenced by add_rule(), c_feature_values(), c_features(), c_string2psi(), check(), import_symbol_internal(), init_system(), insert_sys_builtins(), new_built_in(), new_state(), read_psi_term(), and what_next_aim().
Definition at line 60 of file built_in.c.
Referenced by check(), check_psi_term(), check_resid(), copy(), isa(), match_aim(), pretty_psi_term(), prove_aim(), and what_next_aim().
| char* day_attr |
Definition at line 122 of file built_in.c.
Referenced by c_localtime(), check(), and init_built_in_types().
Definition at line 62 of file built_in.c.
Referenced by check(), list_nil(), pretty_list(), and pretty_psi_term().
Definition at line 61 of file built_in.c.
Referenced by assert_complicated_type(), check(), check_func(), list_nil(), pretty_list(), pretty_psi_term(), and read_psi_term().
Definition at line 63 of file built_in.c.
Referenced by check(), load_aim(), main(), parse(), pretty_psi_term(), read_psi_term(), and what_next_aim().
Definition at line 27 of file token.c.
Referenced by c_string2psi(), check(), crunch(), global_error_check(), init_built_in_types(), make_life_form(), persistent_error_check(), pop(), read_life_form(), read_psi_term(), and update_symbol().
Definition at line 66 of file built_in.c.
| long file_date |
Definition at line 49 of file lib.c.
Referenced by c_load(), load_aim(), main(), redefine(), and WFInit().
Definition at line 22 of file hash_tab.c.
Referenced by all_public_symbols(), all_sorts(), check_definition_list(), clear_coding(), collect_symbols(), count_sorts(), equalize_codes(), find_adults(), init_global_vars(), least_sorts(), new_definition(), and one_pass_always_check().
| float garbage_time |
| long gen_sym_counter |
Definition at line 33 of file print.c.
Referenced by display_couple(), heap_nice_name(), main_display_psi_term(), main_pred_write(), print_resid_message(), and print_variables().
| unsigned long global_time_stamp |
Definition at line 50 of file login.c.
Referenced by c_get_choice(), copy(), distinct_copy(), heap_copy_psi_term(), heap_psi_term(), push_choice_point(), push_def_ptr_value(), push_psi_ptr_value(), real_stack_psi_term(), stack_copy_psi_term(), and stack_psi_term().
Definition at line 53 of file login.c.
Referenced by c_cond(), check(), depth_gs(), deref_args_eval(), deref_eval(), deref_rec_eval(), do_currying(), do_residuation_user(), fail_all(), init_system(), release_resid_main(), and WFInput().
Definition at line 27 of file memory.c.
Referenced by bk_mark_quote(), c_assign(), c_bk_assign(), c_global_assign(), c_is_persistent(), c_project(), check_out(), check_psi_term(), compress(), copy(), deref_eval(), deref_rec_body(), display_couple(), garbage(), get_bool_value(), get_real_value(), global_unify(), heap_alloc(), init_global_vars(), init_memory(), main_display_psi_term(), main_pred_write(), main_prove(), memory_check(), persistent_one(), pretty_psi_term(), print_gc_info(), print_resid_message(), print_variables(), push_def_ptr_value(), push_ptr_value(), residuateGoalOnVar(), show_count(), stack_alloc(), and unify_real_result().
| char* hour_attr |
Definition at line 123 of file built_in.c.
Referenced by c_localtime(), check(), and init_built_in_types().
Definition at line 50 of file token.c.
Referenced by create_module(), new_state(), open_input_file(), psi_term_error(), restore_state(), and save_state().
| FILE* input_stream |
Definition at line 49 of file token.c.
Referenced by begin_terminal_io(), c_close(), load_aim(), new_state(), open_input_file(), read_char(), restore_state(), and save_state().
Definition at line 70 of file built_in.c.
Referenced by apply1_internal(), bitvector_bit(), c_bind(), c_connect(), c_errmsg(), c_fseek(), c_get_buffer(), c_int2stream(), c_kill(), c_listen(), c_make_bitvector(), c_parents(), c_regexp_execute(), c_waitpid(), check(), encode_types(), heap_add_int_attr(), isa(), isSubTypeValue(), lazy_project_internal(), make_life_form(), match_aim(), my_wait_on_feature_internal(), pretty_psi_term(), read_number(), read_psi_term(), real_stack_psi_term(), stack_add_int_attr(), and wait_on_feature_internal().
| long interrupted |
Definition at line 22 of file interrup.c.
Referenced by handle_interrupt(), interrupt(), and main_prove().
Definition at line 65 of file built_in.c.
| struct tms life_start life_end |
| long line_count |
Definition at line 51 of file token.c.
Referenced by c_read(), init_parse_state(), new_state(), read_char(), read_life_form(), restore_parse_state(), restore_state(), save_parse_state(), and save_state().
| long main_loop_ok |
Definition at line 24 of file memory.c.
Referenced by bounds_undo_stack(), clean_trail(), compress(), garbage(), init_memory(), init_system(), main(), print_gc_info(), print_undo_stack(), show_count(), and WFInit().
Definition at line 25 of file memory.c.
Referenced by bounds_undo_stack(), check_psi_term(), compress(), garbage(), init_memory(), print_gc_info(), print_undo_stack(), and show_count().
| int mem_size |
| char* minute_attr |
Definition at line 124 of file built_in.c.
Referenced by c_localtime(), check(), and init_built_in_types().
| char* month_attr |
Definition at line 121 of file built_in.c.
Referenced by c_localtime(), check(), and init_built_in_types().
Definition at line 74 of file built_in.c.
Referenced by assert_complicated_type(), c_mresiduate(), check(), list_nil(), pretty_list(), and pretty_psi_term().
| long noisy |
Definition at line 48 of file lib.c.
Referenced by load_aim(), main(), open_input_file(), and WFInit().
Definition at line 75 of file built_in.c.
Referenced by all_sorts(), check(), encode_types(), glb(), and least_sorts().
Definition at line 115 of file built_in.c.
Referenced by check(), new_state(), restore_state(), and save_state().
| char* one |
Definition at line 117 of file built_in.c.
Referenced by c_append_file(), c_concatenate(), c_cond(), c_deref_length(), c_exists(), c_initrandom(), c_random(), c_string_length(), c_sub_string(), check(), check_legal_cons(), collect_symbols(), get_numeric_feature(), get_one_arg(), get_one_arg_addr(), get_two_args(), heap_ncopy_string(), init_built_in_types(), make_life_form(), new_psi_term(), one_attr(), only_arg1(), parse_list(), prove_aim(), stack_cons(), stack_copy_string(), stack_pair(), and unify_wait_result().
| FILE* output_stream |
Definition at line 31 of file token.c.
Referenced by begin_terminal_io(), c_close(), c_listing(), c_open_out(), c_put_main(), c_set_output(), display_couple(), display_psi_stream(), end_terminal_io(), fail_all(), init_io(), list_special(), listing_pred_write(), open_output_file(), outputline(), pred_write(), and print_variables().
| long page_width |
| long parser_stack_index |
| char* prompt |
Definition at line 32 of file token.c.
Referenced by c_get(), c_read(), handle_interrupt(), init_system(), parse(), read_char(), what_next_aim(), and yes_or_no().
Definition at line 78 of file built_in.c.
Referenced by apply1_internal(), c_bind(), c_connect(), c_current_module(), c_dbmdelete(), c_dbmfetch(), c_dbminit(), c_dbmnextkey(), c_dbmstore(), c_fopen(), c_fwrite(), c_get_record(), c_int2stream(), c_parents(), c_regexp_compile(), c_regexp_execute(), c_socket(), check(), check_psi_term(), check_resid(), encode_types(), get_buffer_internal(), get_module(), get_record_internal(), glb_value(), global_unify(), heap_add_str_attr(), isSubTypeValue(), lazy_project_internal(), match_aim(), my_wait_on_feature_internal(), pretty_psi_term(), read_psi_term(), stack_add_str_attr(), string_val(), wait_on_feature_internal(), and WFGetString().
Definition at line 79 of file built_in.c.
Referenced by c_children(), c_get_raw(), c_is_number(), c_parents(), c_put_raw(), check(), check_psi_term(), check_resid(), encode_types(), glb_value(), global_unify(), isa(), isSubTypeValue(), make_life_form(), match_aim(), pretty_psi_term(), read_number(), real_stack_psi_term(), and WFGetDouble().
| char* second_attr |
Definition at line 125 of file built_in.c.
Referenced by c_localtime(), check(), and init_built_in_types().
Definition at line 26 of file memory.c.
Referenced by backtrack(), c_freeze_inner(), clean_trail(), compress(), copy(), eval_aim(), garbage(), heap_alloc(), init_memory(), init_system(), main(), main_prove(), memory_check(), pchoices(), print_gc_info(), push2_ptr_value(), push_choice_point(), push_def_ptr_value(), push_psi_ptr_value(), push_ptr_value(), show_count(), stack_alloc(), and WFInit().
Definition at line 80 of file built_in.c.
Referenced by c_stream2sys_stream(), check(), check_psi_term(), new_state(), pretty_psi_term(), and sys_stream2stream_internal().
Definition at line 36 of file sys.c.
Referenced by check_psi_term(), check_resid(), match_aim(), and pretty_psi_term().
| char* three |
Definition at line 119 of file built_in.c.
Referenced by c_cond(), c_exist_feature(), c_parse(), c_read(), c_replace(), c_sub_string(), check(), collect_symbols(), declare_operator(), get_numeric_feature(), and init_built_in_types().
Definition at line 83 of file built_in.c.
Referenced by apply1_internal(), assert_less(), bfs(), c_apply1(), c_call_once(), c_children(), c_import_symbol(), c_lazy_project(), c_my_wait_on_feature(), c_parents(), c_regexp_execute(), c_wait_on_feature(), check(), deref_args_eval(), encode_types(), glb(), glb_code(), heap_psi_term(), lazy_project_internal(), lub(), make_life_form(), make_type_link(), matches(), my_wait_on_feature_internal(), overlap_type(), push_choice_point(), regexp_execute_internal(), stack_psi_term(), sub_type(), text_buffer_cmp(), text_buffer_next(), and wait_on_feature_internal().
| long trace |
Definition at line 99 of file error.c.
Referenced by c_trace(), do_residuation(), handle_interrupt(), init_trace(), toggle_step(), and traceline().
Definition at line 84 of file built_in.c.
| char* two |
Definition at line 118 of file built_in.c.
Referenced by c_append_file(), c_concatenate(), c_cond(), c_parse(), c_read(), c_sub_string(), check(), check_legal_cons(), collect_symbols(), get_numeric_feature(), get_two_args(), heap_ncopy_string(), init_built_in_types(), make_life_form(), new_psi_term(), parse_list(), read_psi_term(), set_parse_queryflag(), stack_cons(), stack_copy_string(), stack_pair(), and unify_wait_result().
| long type_count |
Definition at line 26 of file types.c.
Referenced by c_print_codes(), check_gamma_code(), check_gamma_rest(), encode_types(), lub(), and print_codes().
| long types_done |
| long types_modified |
Definition at line 25 of file types.c.
Referenced by assert_attributes(), assert_less(), and encode_types().
Definition at line 44 of file login.c.
Referenced by bounds_undo_stack(), check(), check_special_addresses(), depth_ts(), eval_global_var(), fail_all(), init_system(), main(), print_undo_stack(), WFInit(), and WFInput().
Definition at line 35 of file parser.c.
Referenced by c_read(), check(), display_couple(), init_system(), load_aim(), main_display_psi_term(), main_pred_write(), print_resid_message(), print_variables(), read_name(), unique_name(), and WFGetVar().
Definition at line 88 of file built_in.c.
Referenced by check(), check_psi_term(), check_resid(), and read_psi_term().
| long verbose |
Definition at line 100 of file error.c.
Referenced by c_verbose(), garbage(), handle_interrupt(), memory_check(), show_count(), and stack_info().
| long warningflag |
Definition at line 97 of file error.c.
Referenced by c_warning(), redefine(), report_error2_main(), report_warning2(), and warningx().
| char* weekday_attr |
Definition at line 126 of file built_in.c.
Referenced by c_localtime(), check(), and init_built_in_types().
| char* year_attr |
Definition at line 120 of file built_in.c.
Referenced by c_localtime(), check(), and init_built_in_types().
1.5.4