Go to the source code of this file.
| ptr_definition aborthooksym |
Definition at line 65 of file def_glob.h.
| ptr_definition abortsym |
Definition at line 64 of file def_glob.h.
| ptr_definition add_module1 |
Definition at line 67 of file def_glob.h.
| ptr_definition add_module2 |
Definition at line 68 of file def_glob.h.
| ptr_definition add_module3 |
Definition at line 69 of file def_glob.h.
| ptr_int_list adults |
Definition at line 354 of file def_glob.h.
| ptr_goal aim |
Definition at line 49 of file def_glob.h.
| ptr_definition alist |
Definition at line 94 of file def_glob.h.
| int alloc_words |
Definition at line 10 of file def_glob.h.
| ptr_definition and |
Definition at line 71 of file def_glob.h.
| ptr_definition apply |
Definition at line 72 of file def_glob.h.
| int arg_c |
Definition at line 5 of file def_glob.h.
| char* arg_v[10] |
Definition at line 6 of file def_glob.h.
| long assert_first |
Definition at line 58 of file def_glob.h.
| long assert_ok |
Definition at line 59 of file def_glob.h.
| FILE* bi_list |
Definition at line 245 of file def_glob.h.
| ptr_module bi_module |
Definition at line 155 of file def_glob.h.
| ptr_definition boolean |
Definition at line 73 of file def_glob.h.
| ptr_definition boolpredsym |
Definition at line 74 of file def_glob.h.
| char* buffer |
Definition at line 175 of file def_glob.h.
| ptr_definition built_in |
Definition at line 75 of file def_glob.h.
| long c_query_level |
Definition at line 289 of file def_glob.h.
| long(* c_rule[MAX_BUILT_INS])() |
Definition at line 247 of file def_glob.h.
| ptr_definition call_handlersym |
Definition at line 121 of file def_glob.h.
| ptr_definition calloncesym |
Definition at line 76 of file def_glob.h.
| long can_curry |
Definition at line 224 of file def_glob.h.
| ptr_int_list children |
Definition at line 354 of file def_glob.h.
| ptr_choice_point choice_stack |
Definition at line 51 of file def_glob.h.
| long clean_iter |
Definition at line 293 of file def_glob.h.
| long clean_succ |
Definition at line 294 of file def_glob.h.
| long cmp_debug_flag |
| ptr_definition colonsym |
Definition at line 78 of file def_glob.h.
| ptr_definition commasym |
Definition at line 79 of file def_glob.h.
| ptr_definition comment |
Definition at line 80 of file def_glob.h.
| long const_quote |
Definition at line 180 of file def_glob.h.
| ptr_definition constant |
Definition at line 82 of file def_glob.h.
| ptr_module current_module |
Definition at line 161 of file def_glob.h.
| long curried |
Definition at line 223 of file def_glob.h.
| ptr_definition cut |
Definition at line 83 of file def_glob.h.
| char* day_attr |
Definition at line 255 of file def_glob.h.
| ptr_definition delay_checksym |
Definition at line 118 of file def_glob.h.
| ptr_definition disj_nil |
Definition at line 85 of file def_glob.h.
| ptr_definition disjunction |
Definition at line 84 of file def_glob.h.
| long display_modules |
Definition at line 164 of file def_glob.h.
| long display_persistent |
Definition at line 165 of file def_glob.h.
| ptr_definition dynamicsym |
Definition at line 114 of file def_glob.h.
| ptr_definition encodesym |
Definition at line 116 of file def_glob.h.
| struct tms start_time end_time |
Definition at line 298 of file def_glob.h.
| jmp_buf env |
Definition at line 236 of file def_glob.h.
| ptr_definition eof |
Definition at line 86 of file def_glob.h.
| long eof_flag |
Definition at line 196 of file def_glob.h.
| ptr_definition eqsym |
Definition at line 87 of file def_glob.h.
| ptr_psi_term error_psi_term |
Definition at line 23 of file def_glob.h.
| ptr_definition eval_argsym |
Definition at line 119 of file def_glob.h.
| FILE* features |
Definition at line 242 of file def_glob.h.
| long file_date |
Definition at line 60 of file def_glob.h.
| ptr_definition final_dot |
Definition at line 137 of file def_glob.h.
| ptr_definition final_question |
Definition at line 138 of file def_glob.h.
| ptr_definition first_definition |
Definition at line 3 of file def_glob.h.
| ptr_definition funcsym |
Definition at line 90 of file def_glob.h.
| ptr_definition functor |
Definition at line 91 of file def_glob.h.
| ptr_definition fx_sym |
Definition at line 123 of file def_glob.h.
| ptr_definition fy_sym |
Definition at line 125 of file def_glob.h.
| ptr_definition* gamma_table |
Definition at line 309 of file def_glob.h.
| float garbage_time |
Definition at line 16 of file def_glob.h.
| long gen_sym_counter |
Definition at line 30 of file def_glob.h.
| long goal_count |
Definition at line 152 of file def_glob.h.
| ptr_goal goal_stack |
Definition at line 50 of file def_glob.h.
| GENERIC heap_pointer |
Definition at line 12 of file def_glob.h.
| char* hour_attr |
Definition at line 256 of file def_glob.h.
| ptr_definition iff |
Definition at line 92 of file def_glob.h.
| long ignore_eff |
Definition at line 151 of file def_glob.h.
| long indent |
Definition at line 179 of file def_glob.h.
| ptr_item indx |
Definition at line 329 of file def_glob.h.
| string input_file_name |
Definition at line 40 of file def_glob.h.
| ptr_psi_term input_state |
Definition at line 199 of file def_glob.h.
| FILE* input_stream |
Definition at line 38 of file def_glob.h.
| ptr_definition inputfilesym |
Definition at line 120 of file def_glob.h.
| long int_stack[PARSER_STACK_SIZE] |
Definition at line 318 of file def_glob.h.
| ptr_definition integer |
Definition at line 93 of file def_glob.h.
| long interrupted |
Definition at line 146 of file def_glob.h.
| ptr_definition leftarrowsym |
Definition at line 88 of file def_glob.h.
| ptr_definition lf_false |
Definition at line 89 of file def_glob.h.
| ptr_definition lf_true |
Definition at line 107 of file def_glob.h.
| struct tms life_start life_end |
Definition at line 17 of file def_glob.h.
| ptr_definition life_or |
Definition at line 95 of file def_glob.h.
| long line_count |
Definition at line 39 of file def_glob.h.
| ptr_definition listingsym |
Definition at line 117 of file def_glob.h.
| ptr_definition loadsym |
Definition at line 113 of file def_glob.h.
| long main_loop_ok |
Definition at line 48 of file def_glob.h.
| GENERIC mem_base |
Definition at line 11 of file def_glob.h.
| GENERIC mem_limit |
Definition at line 13 of file def_glob.h.
| int mem_size |
Definition at line 9 of file def_glob.h.
| ptr_definition minus_symbol |
Definition at line 96 of file def_glob.h.
| char* minute_attr |
Definition at line 257 of file def_glob.h.
| string module_buffer |
Definition at line 312 of file def_glob.h.
| ptr_node module_table |
Definition at line 160 of file def_glob.h.
| char* month_attr |
Definition at line 254 of file def_glob.h.
| long more_u_attr |
Definition at line 303 of file def_glob.h.
| long more_v_attr |
Definition at line 304 of file def_glob.h.
| char* name |
Definition at line 325 of file def_glob.h.
| long new_stat |
Definition at line 307 of file def_glob.h.
| ptr_definition nil |
Definition at line 97 of file def_glob.h.
| ptr_module no_module |
Definition at line 157 of file def_glob.h.
| char* no_name |
Definition at line 174 of file def_glob.h.
| long no_var_tree |
Definition at line 321 of file def_glob.h.
| long noisy |
Definition at line 35 of file def_glob.h.
| ptr_definition nothing |
Definition at line 98 of file def_glob.h.
| ptr_psi_term null_psi_term |
Definition at line 140 of file def_glob.h.
| ptr_definition nullsym |
Definition at line 129 of file def_glob.h.
| char* numbers[21] |
Definition at line 232 of file def_glob.h.
| long old_saved_char |
Definition at line 193 of file def_glob.h.
| ptr_psi_term old_saved_psi_term |
Definition at line 195 of file def_glob.h.
| ptr_psi_term old_state |
Definition at line 142 of file def_glob.h.
| char* one |
Definition at line 250 of file def_glob.h.
| operator op_stack[PARSER_STACK_SIZE] |
Definition at line 319 of file def_glob.h.
| ptr_definition opsym |
Definition at line 112 of file def_glob.h.
| GENERIC other_base |
Definition at line 19 of file def_glob.h.
| GENERIC other_limit |
Definition at line 20 of file def_glob.h.
| GENERIC other_pointer |
Definition at line 21 of file def_glob.h.
| FILE* outfile |
Definition at line 333 of file def_glob.h.
| FILE* output_stream |
Definition at line 41 of file def_glob.h.
| long page_width |
Definition at line 43 of file def_glob.h.
| long parse_ok |
Definition at line 171 of file def_glob.h.
| long parser_stack_index |
Definition at line 24 of file def_glob.h.
| ptr_node pointer_names |
Definition at line 29 of file def_glob.h.
| ptr_definition predsym |
Definition at line 99 of file def_glob.h.
| item pretty_things[PRETTY_SIZE] |
Definition at line 328 of file def_glob.h.
| long print_depth |
Definition at line 178 of file def_glob.h.
| ptr_node printed_pointers |
Definition at line 28 of file def_glob.h.
| ptr_node printed_vars |
Definition at line 27 of file def_glob.h.
| char* prompt |
Definition at line 42 of file def_glob.h.
| char prompt_buffer[PROMPT_BUFFER] |
Definition at line 237 of file def_glob.h.
| long psi_term_line_number |
Definition at line 268 of file def_glob.h.
| psi_term psi_term_stack[PARSER_STACK_SIZE] |
Definition at line 317 of file def_glob.h.
| long quietflag |
Definition at line 271 of file def_glob.h.
| ptr_definition quote |
Definition at line 100 of file def_glob.h.
| ptr_definition quoted_string |
Definition at line 101 of file def_glob.h.
| long rand_array[256] |
Definition at line 279 of file def_glob.h.
| ptr_definition real |
Definition at line 102 of file def_glob.h.
| ptr_goal resid_aim |
Definition at line 220 of file def_glob.h.
| ptr_goal resid_limit |
Definition at line 222 of file def_glob.h.
| ptr_resid_list resid_vars |
Definition at line 221 of file def_glob.h.
| long saved_char |
Definition at line 192 of file def_glob.h.
| ptr_psi_term saved_psi_term |
Definition at line 194 of file def_glob.h.
| char* second_attr |
Definition at line 258 of file def_glob.h.
| char seg_format[PRINT_POWER+4] |
Definition at line 326 of file def_glob.h.
| long set_extra_args[6] |
Definition at line 233 of file def_glob.h.
| GENERIC stack_pointer |
Definition at line 14 of file def_glob.h.
| long start_of_line |
Definition at line 191 of file def_glob.h.
| ptr_definition staticsym |
Definition at line 115 of file def_glob.h.
| ptr_psi_term stdin_state |
Definition at line 200 of file def_glob.h.
| long stdin_terminal |
Definition at line 188 of file def_glob.h.
| long stepcount |
Definition at line 275 of file def_glob.h.
| long stepflag |
Definition at line 150 of file def_glob.h.
| long steptrace |
Definition at line 274 of file def_glob.h.
| ptr_definition stream |
Definition at line 103 of file def_glob.h.
| char* stringinput |
Definition at line 203 of file def_glob.h.
| long stringparse |
Definition at line 202 of file def_glob.h.
| ptr_definition succeed |
Definition at line 104 of file def_glob.h.
| ptr_definition such_that |
Definition at line 105 of file def_glob.h.
| ptr_node symbol_table |
Definition at line 339 of file def_glob.h.
| ptr_module syntax_module |
Definition at line 159 of file def_glob.h.
| ptr_definition sys_bitvector |
Definition at line 130 of file def_glob.h.
| ptr_definition sys_bytedata |
Definition at line 336 of file def_glob.h.
| ptr_definition sys_file_stream |
Definition at line 133 of file def_glob.h.
| ptr_module sys_module |
Definition at line 162 of file def_glob.h.
| ptr_definition sys_regexp |
Definition at line 131 of file def_glob.h.
| ptr_definition sys_socket_stream |
Definition at line 134 of file def_glob.h.
| ptr_definition sys_stream |
Definition at line 132 of file def_glob.h.
| char* three |
Definition at line 252 of file def_glob.h.
| ptr_definition timesym |
Definition at line 108 of file def_glob.h.
| long to_heap |
Definition at line 264 of file def_glob.h.
| ptr_definition top |
Definition at line 106 of file def_glob.h.
| long trace |
Definition at line 272 of file def_glob.h.
| long trace_input |
Definition at line 167 of file def_glob.h.
| ptr_definition tracesym |
Definition at line 109 of file def_glob.h.
| char* two |
Definition at line 251 of file def_glob.h.
| long type_count |
Definition at line 46 of file def_glob.h.
| long types_done |
Definition at line 36 of file def_glob.h.
| long types_modified |
Definition at line 47 of file def_glob.h.
| ptr_definition typesym |
Definition at line 110 of file def_glob.h.
| long u_func |
Definition at line 306 of file def_glob.h.
| ptr_stack undo_stack |
Definition at line 53 of file def_glob.h.
| ptr_module user_module |
Definition at line 156 of file def_glob.h.
| long v_func |
Definition at line 306 of file def_glob.h.
| long var_occurred |
Definition at line 189 of file def_glob.h.
| ptr_node var_tree |
Definition at line 26 of file def_glob.h.
| ptr_definition variable |
Definition at line 111 of file def_glob.h.
| long verbose |
Definition at line 273 of file def_glob.h.
| long warningflag |
Definition at line 270 of file def_glob.h.
| char* weekday_attr |
Definition at line 259 of file def_glob.h.
| long write_canon |
Definition at line 184 of file def_glob.h.
| long write_corefs |
Definition at line 182 of file def_glob.h.
| long write_resids |
Definition at line 183 of file def_glob.h.
| long write_stderr |
Definition at line 181 of file def_glob.h.
| ptr_module x_module |
Definition at line 158 of file def_glob.h.
| long x_window_creation |
Definition at line 217 of file def_glob.h.
| ptr_definition xbutton_event |
Definition at line 211 of file def_glob.h.
| ptr_definition xconfigure_event |
Definition at line 211 of file def_glob.h.
| long xcount |
Definition at line 301 of file def_glob.h.
| ptr_definition xdestroy_event |
Definition at line 211 of file def_glob.h.
| ptr_definition xdisplay |
Definition at line 211 of file def_glob.h.
| ptr_definition xdisplaylist |
Definition at line 211 of file def_glob.h.
| ptr_definition xdrawable |
Definition at line 211 of file def_glob.h.
| ptr_definition xenter_event |
Definition at line 211 of file def_glob.h.
| ptr_definition xevent |
Definition at line 211 of file def_glob.h.
| ptr_psi_term xevent_existing |
Definition at line 208 of file def_glob.h.
| ptr_psi_term xevent_list |
Definition at line 208 of file def_glob.h.
| long xeventdelay |
Definition at line 300 of file def_glob.h.
| ptr_definition xexpose_event |
Definition at line 211 of file def_glob.h.
| ptr_definition xf_sym |
Definition at line 122 of file def_glob.h.
| ptr_definition xfx_sym |
Definition at line 126 of file def_glob.h.
| ptr_definition xfy_sym |
Definition at line 127 of file def_glob.h.
| ptr_definition xgc |
Definition at line 211 of file def_glob.h.
| ptr_definition xkeyboard_event |
Definition at line 211 of file def_glob.h.
| ptr_definition xleave_event |
Definition at line 211 of file def_glob.h.
| ptr_definition xmisc_event |
Definition at line 211 of file def_glob.h.
| ptr_definition xmotion_event |
Definition at line 211 of file def_glob.h.
| ptr_definition xpixmap |
Definition at line 211 of file def_glob.h.
| ptr_definition xwindow |
Definition at line 211 of file def_glob.h.
| char* year_attr |
Definition at line 253 of file def_glob.h.
| ptr_definition yf_sym |
Definition at line 124 of file def_glob.h.
| ptr_definition yfx_sym |
Definition at line 128 of file def_glob.h.
1.8.6