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.