Wild Life  2.29
 All Data Structures Files Functions Variables Typedefs Macros
def_proto.h
Go to the documentation of this file.
1 // from arity.c
2 #ifdef ARITY
3 void arity_init();
4 void arity_end();
5 void rec_print_feat(ptr_node n);
6 void print_features(ptr_node u);
7 int check_equal(ptr_node u,ptr_node v);
8 void arity_unify(ptr_psi_term u, ptr_psi_term v);
9 void arity_merge(ptr_node u, ptr_node v);
10 void arity_add(ptr_psi_term u, char *s);
11 #endif
12 
13 // from bi_math.c
15 
16 // from bi_sys.c
17 
18 long c_trace();
19 long c_tprove();
20 long c_quiet();
21 void setUnitList(GENERIC x);
26 ptr_psi_term quotedStackCopy( /* ptr_ */ psi_term p); // commented 2.22
30 ptr_psi_term makePsiList(GENERIC head,ptr_psi_term (*valueFunc)(),GENERIC (*nextFunc)());
33 // from bi_type.c
34 
35 long c_isa_subsort();
36 long isValue(ptr_psi_term p);
37 long c_glb();
38 long c_lub();
41 // from built_ins.c
42 
46 ptr_psi_term stack_int(long n);
47 ptr_psi_term stack_string(char *s);
48 ptr_psi_term stack_bytes(char *s,int n);
49 long psi_to_string(ptr_psi_term t,char **fn);
51 long check_real(ptr_psi_term t,REAL *v,long *n);
52 long get_real_value(ptr_psi_term t,REAL *v,long *n);
53 void unify_bool_result(ptr_psi_term t,long v);
55 long only_arg1(ptr_psi_term t,ptr_psi_term *arg1);
56 long file_exists(char *s);
57 long c_halt();
58 void exit_life(long nl_flag);
59 long c_abort();
60 long abort_life(int nlflag);
61 long pred_clause(ptr_psi_term t, long r, ptr_psi_term g);
62 void global_error_check(ptr_node n,int *error,int *eval2);
63 void global_tree(ptr_node n);
64 void global_one(ptr_psi_term t);
65 void persistent_error_check(ptr_node n,int *error);
72 long has_rules(ptr_pair_list r);
75 void new_built_in(ptr_module m, char *s,def_type t,long (*r)());
77 char *str_conc(char *s1,char *s2);
78 char *sub_str(char *s,long p,long n);
79 long append_files(char *s1,char *s2);
80 long c_concatenate();
81 long c_string_length();
82 long c_sub_string();
83 long c_append_file();
84 long c_random();
85 long c_initrandom();
86 long c_deref_length();
87 long c_args();
88 void init_built_in_types();
89 // from copy.c
90 
91 void init_copy();
92 void clear_copy();
93 void insert_translation(ptr_psi_term a,ptr_psi_term b,long info);
94 ptr_psi_term translate(ptr_psi_term a,long **infoptr);
95 ptr_psi_term exact_copy(ptr_psi_term t,long heap_flag);
96 ptr_psi_term quote_copy(ptr_psi_term t,long heap_flag);
97 ptr_psi_term eval_copy(ptr_psi_term t,long heap_flag);
99 ptr_psi_term copy(ptr_psi_term t,long copy_flag,long heap_flag);
102 void mark_quote_c(ptr_psi_term t,long heap_flag);
103 void mark_quote_tree_c(ptr_node n,long heap_flag);
104 void mark_eval(ptr_psi_term t);
111 void mark_quote(ptr_psi_term t);
112 void mark_quote_tree(ptr_node t);
115 // from error.c
116 
117 void stack_info(FILE *outfile);
118 void outputline(char *format, ...);
119 void traceline(char *format, ...);
120 void infoline(char *format, ...);
121 void warningline(char *format, ...);
122 void Errorline(char *format, ...);
123 void Syntaxerrorline(char *format, ...);
124 void vinfoline(char *format, FILE *outfile, ...);
125 void init_trace();
126 void reset_step();
127 void tracing();
128 void new_trace(long newtrace);
129 void new_step(long newstep);
130 void set_trace_to_prove();
131 void toggle_trace();
132 void toggle_step();
133 void perr(char *str);
134 void perr_s(char *s1,char *s2);
135 void perr_s2(char *s1,char *s2,char *s3);
136 void perr_i(char *str,long i);
137 long warning();
138 long warningx();
139 void report_error_main(ptr_psi_term g,char *s,char *s2);
140 void report_error(ptr_psi_term g,char *s);
141 long reportAndAbort(ptr_psi_term g,char *s);
142 void report_warning(ptr_psi_term g,char *s);
143 void report_error2_main(ptr_psi_term g,char *s, char *s2);
144 void report_error2(ptr_psi_term g,char *s);
145 void report_warning2(ptr_psi_term g,char *s);
147 long nonint_warning(ptr_psi_term arg,REAL val,char *msg);
148 long bit_and_warning(ptr_psi_term arg,REAL val);
149 long bit_or_warning(ptr_psi_term arg,REAL val);
150 long bit_not_warning(ptr_psi_term arg,REAL val);
151 long int_div_warning(ptr_psi_term arg,REAL val);
152 long mod_warning(ptr_psi_term arg,REAL val,int zero);
153 long shift_warning(long dir,ptr_psi_term arg,REAL val);
154 
155 // from hash_table.c
156 
157 ptr_hash_table hash_create(int size);
158 void hash_expand(ptr_hash_table table, int new_size);
159 int hash_code(ptr_hash_table table, char *symbol);
160 int hash_find(ptr_hash_table table,char *symbol);
161 ptr_keyword hash_lookup(ptr_hash_table table, char *symbol);
162 void hash_insert(ptr_hash_table table,char *symbol,ptr_keyword keyword);
163 void hash_display(ptr_hash_table table);
164 
165 // from info.c
166 
167 void title();
168 // from interrupt.c
169 
170 void interrupt();
171 void init_interrupt();
172 void handle_interrupt();
173 // from lefun.c
174 
175 ptr_psi_term stack_psi_term(long stat);
176 ptr_psi_term real_stack_psi_term(long stat,REAL thereal);
177 ptr_psi_term heap_psi_term(long stat);
179 void residuate(ptr_psi_term t);
182 void curry();
184 long do_residuation_user();
185 long do_residuation();
186 void do_currying();
187 void release_resid_main(ptr_psi_term t,long trailflag);
191 long eval_aim();
192 void match_attr1(ptr_node *u,ptr_node v,ptr_resid_block rb); // no * v
193 void match_attr2(ptr_node *u,ptr_node v,ptr_resid_block rb); // no * v
194 void match_attr3(ptr_node *u,ptr_node v,ptr_resid_block rb); // no * v
195 void match_attr(ptr_node *u,ptr_node v,ptr_resid_block rb); // no * v
196 long match_aim();
197 long i_eval_args(ptr_node n);
198 long eval_args(ptr_node n);
199 void check_disj(ptr_psi_term t);
200 void check_func(ptr_psi_term t);
201 long check_type(ptr_psi_term t);
202 long i_check_out(ptr_psi_term t);
203 long f_check_out(ptr_psi_term t);
204 long check_out(ptr_psi_term t);
205 long deref_eval(ptr_psi_term t);
208 void deref_rec_args(ptr_node n);
209 long deref_args_eval(ptr_psi_term t,long set);
210 long in_set(char *str,long set);
211 void deref_rec_args_exc(ptr_node n,long set);
212 void deref2_eval(ptr_psi_term t);
214 void save_resid(ptr_resid_block rb,ptr_psi_term match_date);
215 void restore_resid(ptr_resid_block rb,ptr_psi_term *match_date);
217 void init_global_vars();
218 // from lib.c
219 
220 char **group_features(char **f, ptr_node n);
221 void exit_if_true(long exitflag);
222 void init_io();
223 void init_system();
224 void WFInit(long argc, char **argv);
225 int WFInput(char *query);
226 PsiTerm WFGetVar(char *name);
229 char *WFType(ptr_psi_term psi);
230 char **WFFeatures(ptr_psi_term psi);
231 double WFGetDouble(ptr_psi_term psi,int *ok);
232 char *WFGetString(ptr_psi_term psi, int *ok);
233 PsiTerm WFGetFeature(ptr_psi_term ps, char *feature);
234 
235 int main(int argc, char *argv[]);
236 // from list.c
237 
238 void List_SetLinkProc (RefListHeader header,RefListGetLinksProc getLinks);
239 void List_InsertAhead (RefListHeader header,Ref atom);
240 void List_Append (RefListHeader header,Ref atom);
241 void List_InsertBefore (RefListHeader header,Ref atom,Ref mark);
242 void List_InsertAfter (RefListHeader header,Ref atom,Ref mark);
243 void List_Swap (RefListHeader header,Ref first,Ref second);
244 void List_Reverse (RefListHeader header);
245 void List_Remove (RefListHeader header,Ref atom);
246 void List_Concat (RefListHeader header1,RefListHeader header2);
247 long List_EnumFrom (RefListHeader header,Ref atom,RefListEnumProc proc,Ref closure);
248 long List_Enum (RefListHeader header,RefListEnumProc proc,Ref closure);
249 long List_EnumBackFrom (RefListHeader header,Ref atom, RefListEnumProc proc, Ref closure);
250 long List_EnumBack (RefListHeader header,RefListEnumProc proc, Ref closure);
251 long List_Card (RefListHeader header);
252 long List_IsUnlink (RefListLinks links);
253 void List_Cut (RefListHeader header,Ref atom, RefListHeader newHeader);
254 
255 // from login.c
256 
258 void get_one_arg(ptr_node t, ptr_psi_term *a);
260 void add_rule(ptr_psi_term head, ptr_psi_term body, def_type typ);
261 void assert_rule(psi_term t, def_type typ);
263 void start_chrono();
264 void push_ptr_value(type_ptr t, GENERIC *p);
268 void push_window(long type,long disp,long wind);
269 void push2_ptr_value(type_ptr t, GENERIC *p, GENERIC v);
272 void undo(ptr_stack limit);
273 void undo_actions();
274 void backtrack();
275 void clean_undo_window(long disp,long wind);
276 void merge1(ptr_node *u, ptr_node v); // no * v
277 void merge2(ptr_node *u, ptr_node v); // no * v
278 void merge3(ptr_node *u, ptr_node v); // no * v
279 void merge(ptr_node *u, ptr_node v); // no * v
280 void merge_unify(ptr_node *u, ptr_node v); // no * v
281 void show_count();
282 void fetch_def( ptr_psi_term u, long allflag);
283 void fetch_def_lazy(ptr_psi_term u, ptr_definition old1, ptr_definition old2, ptr_node old1attr, ptr_node old2attr, long old1stat, long old2stat);
284 long unify_aim_noeval();
285 long unify_aim();
286 long unify_body(long eval_flag);
287 long disjunct_aim();
288 long prove_aim();
289 void type_disj_aim();
290 long clause_aim(long r);
291 long no_choices();
292 long num_choices();
293 long num_vars(ptr_node vt);
294 long what_next_cut();
296 void reset_stacks();
297 long what_next_aim();
298 long load_aim();
299 void main_prove();
300 int dummy_printf(char *f, char *s, char *t);
301 long trail_condition(psi_term *Q);
302 
303 
304 // from lub.c
305 
307 void mark_ancestors(ptr_definition def, long *flags);
309 
310 
311 // from memory.c
312 
313 char *GetStrOption(char *name,char *def);
314 int GetBoolOption(char *name);
315 int GetIntOption(char *name,int def);
316 void pchoices();
317 void print_undo_stack();
318 long bounds_undo_stack();
319 void fail_all();
320 void check_hash_table(ptr_hash_table table);
322 void check_definition_list();
325 void check_attr(ptr_node *n);
326 void check_gamma_code();
327 void print_gc_info(long timeflag);
328 void garbage();
329 GENERIC heap_alloc(long s);
330 GENERIC stack_alloc(long s);
331 void init_memory ();
332 long memory_check ();
333 
334 
335 
336 // from modules.c
337 
338 void init_modules();
339 ptr_module find_module(char *module);
340 ptr_module create_module(char *module);
343 char *strip_module_name(char *str);
344 char *string_val(ptr_psi_term term);
345 char *make_module_token(ptr_module module,char *str);
347 ptr_definition update_symbol(ptr_module module,char *symbol);
348 char *print_symbol(ptr_keyword k);
349 void pretty_symbol(ptr_keyword k);
351 long c_set_module();
352 long c_open_module();
353 void open_module_tree(ptr_node n,int *onefailed);
354 void open_module_one(ptr_psi_term t,int *onefailed);
355 long make_public(ptr_psi_term term,long bool);
356 void traverse_tree(ptr_node n,int flag);
357 long c_public();
358 long c_private();
359 long c_display_modules();
360 long c_display_persistent();
361 long c_trace_input();
364 void replace_attr(ptr_node old_attr,ptr_psi_term term,ptr_definition old, ptr_definition new);
365 long c_replace();
366 long c_current_module();
367 long c_module_access();
370 long c_alias();
371 int get_module(ptr_psi_term psi, ptr_module *module);
373 long c_private_feature();
374 ptr_definition update_feature(ptr_module module, char *feature);
375 long all_public_symbols();
376 // from parser.c
377 
379 void show(long limit);
380 void push(psi_term tok,long prec,long op);
381 long pop(ptr_psi_term tok,long *op);
382 long look();
383 long precedence(psi_term tok,long typ);
386 void feature_insert(char *keystr,ptr_node *tree,ptr_psi_term psi);
388 psi_term parse_list(ptr_definition typ, char e, char s);
391 void crunch(long prec,long limit);
392 psi_term read_life_form(char ch1, char ch2);
393 psi_term parse(long *q);
394 // from print.c
395 
396 void init_print();
397 char *heap_nice_name();
399 long str_to_int(char *s);
400 void print_bin(long b);
401 void print_code(FILE *s,ptr_int_list c);
402 void print_operator_kind(FILE *s,long kind);
404 void go_through_tree(ptr_node t);
405 void go_through(ptr_psi_term t);
406 void insert_variables(ptr_node vars,long force);
407 void forbid_variables(ptr_node n);
408 void prettyf_inner(char *s,long q,char c);
409 long starts_nonlower(char *s);
410 long has_non_alpha(char *s);
411 long all_symbol(char *s);
412 long is_integer(char *s);
413 long no_quote(char *s);
414 void prettyf(char *s);
415 void prettyf_quoted_string(char *s);
416 void prettyf_quote(char *s);
417 void end_tab();
418 void mark_tab(ptr_tab_brk t);
419 void new_tab(ptr_tab_brk *t);
420 long strpos(long pos,char *str);
421 void work_out_length();
422 long count_features(ptr_node t);
424 void pretty_list(ptr_psi_term t,long depth);
425 void pretty_tag_or_psi_term(ptr_psi_term p,long sprec,long depth);
426 long check_opargs(ptr_node n);
427 long opcheck(ptr_psi_term t,long *prec,long *type);
428 long pretty_psi_with_ops(ptr_psi_term t,long sprec,long depth);
429 void pretty_psi_term(ptr_psi_term t, long sprec, long depth);
430 void do_pretty_attr(ptr_node t,ptr_tab_brk tab,long *cnt,long two,long depth);
431 long two_or_more(ptr_node t);
432 void pretty_attr(ptr_node t,long depth);
433 void pretty_output();
435 long print_variables(long printflag);
437 void listing_pred_write(ptr_node n,long fflag);
438 void pred_write(ptr_node n);
439 void main_pred_write(ptr_node n);
443 void display_psi(FILE *s,ptr_psi_term t);
445 void display_couple(ptr_psi_term u,char *s,ptr_psi_term v);
447 // from raw.c
448 
449 #ifndef NORAW
450 long c_begin_raw ();
451 long c_get_raw ();
452 long c_put_raw ();
453 long c_end_raw ();
454 long c_in_raw ();
455 long c_window_flag ();
456 long c_reset_window_flag ();
457 void raw_setup_builtins ();
458 #endif
459 // from sys.c
460 
461 long call_primitive(long (*fun)(),int num,psi_arg argi[],GENERIC info);
462 ptr_psi_term fileptr2stream(FILE *fp, ptr_definition typ); // removed * 2nd arg
463 int text_buffer_next(struct text_buffer *buf, int idx, char c, struct text_buffer **rbuf, int *ridx);
464 char* text_buffer_cmp(struct text_buffer *buf, int idx, char *str);
465 void text_buffer_push(struct text_buffer **buf, char c);
466 void text_buffer_free(struct text_buffer *buf);
467 int is_ipaddr( char *s);
468 void make_sys_type_links();
469 void check_sys_definitions();
470 void insert_sys_builtins();
471 // from sys_dbm.c
472 
473 void insert_dbm_builtins();
474 // templates.c
475 
476 long get_arg (ptr_psi_term g, ptr_psi_term *arg, char *number);
477 // from token.c
478 
479 void TOKEN_ERROR(ptr_psi_term p);
480 void stdin_cleareof();
481 void heap_add_int_attr(ptr_psi_term t,char *attrname,long value);
482 void stack_add_int_attr(ptr_psi_term t,char *attrname,long value);
483 void heap_mod_int_attr(ptr_psi_term t,char *attrname,long value);
484 void heap_add_str_attr(ptr_psi_term t,char *attrname,char *str);
485 void stack_add_str_attr(ptr_psi_term t,char *attrname,char *str);
486 void heap_mod_str_attr(ptr_psi_term t,char *attrname,char *str);
487 void heap_add_psi_attr(ptr_psi_term t,char *attrname,ptr_psi_term g);
488 void stack_add_psi_attr(ptr_psi_term t,char *attrname,ptr_psi_term g);
489 void bk_stack_add_psi_attr(ptr_psi_term t,char *attrname,ptr_psi_term g);
490 GENERIC get_attr(ptr_psi_term t,char *attrname);
491 FILE *get_stream(ptr_psi_term t);
492 void save_state(ptr_psi_term t);
494 void new_state(ptr_psi_term *t);
497 void init_parse_state();
498 void begin_terminal_io();
499 void end_terminal_io();
500 char *expand_file_name(char *s);
501 long open_input_file(char *file);
502 long open_output_file(char *file);
503 long read_char();
504 void put_back_char(long c);
505 void put_back_token(psi_term t);
506 void psi_term_error();
507 void read_comment(ptr_psi_term tok);
508 void read_string_error(int n);
509 int base2int(int n);
510 void read_string(ptr_psi_term tok,long e);
511 long symbolic(long c);
512 long legal_in_name(long c);
513 void read_name(ptr_psi_term tok,long ch,long (*f)(),ptr_definition typ);
514 void read_number(ptr_psi_term tok,long c);
515 void read_token(ptr_psi_term tok);
516 void read_token_b(ptr_psi_term tok);
517 void read_token_main(ptr_psi_term tok,long for_parser);
518 long intcmp(long a,long b);
519 long is_int(char **s,long *len,long *sgn);
520 long featcmp(char *str1,char *str2);
521 char *heap_ncopy_string(char *s,int n);
522 char *heap_copy_string(char *s);
523 char *stack_copy_string(char *s);
524 ptr_node general_insert(long comp,char *keystr,ptr_node *tree,GENERIC info,long heapflag, long copystr,long bkflag);
525 void heap_insert_copystr(char *keystr,ptr_node *tree,GENERIC info);
526 void stack_insert_copystr(char *keystr,ptr_node *tree,GENERIC info);
527 ptr_node heap_insert(long comp,char *keystr,ptr_node *tree,GENERIC info);
528 ptr_node stack_insert(long comp,char *keystr,ptr_node *tree,GENERIC info);
529 ptr_node bk_stack_insert(long comp,char *keystr,ptr_node *tree,GENERIC info);
530 ptr_node bk2_stack_insert(long comp,char *keystr,ptr_node *tree,GENERIC info);
531 ptr_node find(long comp,char *keystr,ptr_node tree);
533 void delete_attr(char *s,ptr_node *n);
534 // from types.c
535 
536 void print_def_type(def_type t);
537 long yes_or_no();
539 long redefine(ptr_psi_term t);
542 void assert_protected(ptr_node n,long prot);
546 void assert_type(ptr_psi_term t);
549 void find_adults();
552 void propagate_definitions();
553 long count_sorts(long c0);
554 void clear_coding();
555 void least_sorts();
556 void all_sorts();
557 ptr_int_list two_to_the(long p);
560 void equalize_codes(int len);
563 void perr_sort(ptr_definition d);
564 void perr_sort_list(ptr_int_list anc);
565 void perr_sort_cycle(ptr_int_list anc);
567 void propagate_always_check(ptr_definition d,long *ch);
568 void one_pass_always_check(long *ch);
569 void inherit_always_check();
570 void encode_types();
571 void print_codes();
572 long glb_value(long result,long f,GENERIC c,GENERIC value1,GENERIC value2, GENERIC *value);
573 long glb_code(long f1,GENERIC c1,long f2,GENERIC c2,long *f3,GENERIC *c3);
578 long matches(ptr_definition t1,ptr_definition t2,long *smaller);
579 long strict_matches(ptr_psi_term t1,ptr_psi_term t2,long *smaller);
580 long bit_length(ptr_int_list c);
582 
583 #if FALSE
584 // from xdisplaylist.c
585 
586 extern ListHeader * x_display_list ();
587 extern void x_set_gc (Display *, GC,long,unsigned long,long,Font);
588 extern void x_record_line (ListHeader *,Action,long,long,long,long,unsigned long,unsigned long,unsigned long);
589 extern void x_record_arc (ListHeader *, Action, long,long,long,long,long,long,unsigned long, unsigned long, unsigned long);
590 extern void x_record_rectangle (ListHeader *, Action, long,long,long,long, unsigned long, unsigned long, unsigned long);
591 extern void x_record_string (ListHeader *, Action, long,long,char *,long,unsigned long,unsigned long);
592 extern void x_record_polygon (ListHeader *,Action,XPoint *,long,unsigned long,unsigned long,unsigned long);
593 extern void x_refresh_window (Display *, Window, Pixmap, GC, ListHeader *);
594 extern void x_free_display_list (ListHeader *);
595 
596 #endif
597 
598 // NEW
599 #ifdef X11
600 void raw_setup_builtins();
601 void interrupt();
602 
603 
604 ListHeader *x_display_list();
605 void x_set_gc (Display *display,GC gc,long function,unsigned long color,long linewidth,Font font);
606 void x_record_line (ListHeader *displaylist,Action action,long x0,long y0,long x1,long y1,unsigned long function,unsigned long color,unsigned long linewidth);
607 void x_record_arc (ListHeader *displaylist,Action action,long x,long y,long width,long height,long startangle,long arcangle,unsigned long function,unsigned long color,unsigned long linewidth);
608 
609 void x_record_rectangle (ListHeader *displaylist,Action action,long x,long y,long width,long height,unsigned long function,unsigned long color,unsigned long linewidth);
610 
611 void x_record_polygon (ListHeader *displaylist,Action action,XPoint *points,long npoints,unsigned long function,unsigned long color,unsigned long linewidth);
612 
613 
614 void x_record_string (ListHeader *displaylist,Action action,long x,long y,char *str,Font font,unsigned long function,unsigned long color);
615 
616 
617 void x_refresh_window (Display *display,Window window,Pixmap pixmap,GC pixmapgc,ListHeader *displaylist);
618 
619 void x_free_display_list (ListHeader *displaylist);
620 
621 // from xpred.c
622 long list_is_nil(ptr_psi_term(lst));
623 ptr_psi_term list_cdr(ptr_psi_term(lst));
624 ptr_psi_term list_car(ptr_psi_term(lst));
625 void bk_stack_add_int_attr(ptr_psi_term t, char *attrname, long value);
626 void bk_change_psi_attr(ptr_psi_term t,char *attrname, ptr_psi_term value);
627 long unify_int_result(ptr_psi_term t, long v);
628 long GetIntAttr(ptr_psi_term psiTerm, char *attributeName);
629 ptr_psi_term GetPsiAttr( ptr_psi_term psiTerm,char *attributeName);
630 long xcOpenConnection();
631 long xcDefaultRootWindow();
632 long xcGetConnectionAttribute();
633 long xcGetScreenAttribute();
634 long xcCloseConnection();
635 long xcCreateSimpleWindow();
636 long xcSetStandardProperties();
637 long xcGetWindowGeometry();
638 long xcGetWindowAttribute();
639 long xcSetWindowGeometry();
640 long xcMoveWindow();
641 long xcSetWindowAttribute();
642 long xcMapWindow();
643 long xcRaiseWindow();
644 long xcUnmapWindow();
645 long xcMapSubwindows();
646 long xcUnmapSubwindows();
647 long xcClearWindow();
648 long xcResizeWindowPixmap();
649 long xcSelectInput();
650 long xcRefreshWindow();
651 long xcPostScriptWindow();
652 long xcDestroyWindow();
653 long xcCreateGC();
654 long xcGetGCAttribute();
655 long xcSetGCAttribute();
656 long xcDestroyGC();
657 long xcRequestColor();
658 long xcRequestNamedColor();
659 long xcFreeColor();
660 long xcDrawLine();
661 long xcDrawArc();
662 long xcDrawRectangle();
663 long xcFillRectangle();
664 long xcFillArc();
665 long xcPointsAlloc();
666 long xcCoordPut();
667 long xcPointsFree();
668 long xcDrawPolygon();
669 long xcFillPolygon();
670 long xcLoadFont();
671 long xcUnloadFont();
672 long xcDrawString();
673 long xcDrawImageString();
674 long xcStringWidth();
675 long xcSync();
676 // long list_is_nil(ptr_psi_term lst);
677 // ptr_psi_term list_cdr( ptr_psi_term lst);
678 // ptr_psi_term list_car(ptr_psi_term lst);
679 void list_set_car( ptr_psi_term lst, ptr_psi_term value);
680 void list_set_cdr(ptr_psi_term lst, ptr_psi_term value);
681 ptr_psi_term list_last_cdr( ptr_psi_term lst);
682 ptr_psi_term append_to_list(ptr_psi_term lst, ptr_psi_term value);
683 long map_funct_over_list(ptr_psi_term lst, long(*proc)(), long *closure);
684 long map_funct_over_cars(ptr_psi_term lst, long(*proc)(), long *closure);
685 void list_remove_value(ptr_psi_term lst, ptr_psi_term value);
686 long xcGetEvent();
687 long xcFlushEvents();
688 long xcQueryPointer();
689 void x_setup_builtins();
690 long x_read_stdin_or_event(long *ptreventflag);
691 long x_exist_event();
692 void x_destroy_window(Display *display,Window window);
693 void x_show_window(Display *display,long window);
694 void x_hide_window(Display *display, long window);
695 void x_show_subwindow(Display *display, long window);
696 void x_hide_subwindow(Display *display, long window);
697 long xcQueryTextExtents();
698 long x_postscript_window(Display *display,Window window,ListHeader *displaylist,char *filename);
699 #endif
void mark_quote_new(ptr_psi_term t)
Definition: copy.c:557
void list_special(ptr_psi_term t)
Definition: built_ins.c:4820
long hidden_type(ptr_definition t)
Definition: built_ins.c:3421
long intcmp(long a, long b)
Definition: trees.c:12
int isSubTypeValue(ptr_psi_term arg1, ptr_psi_term arg2)
Definition: bi_type.c:163
void check_disj(ptr_psi_term t)
Definition: lefun.c:845
long opcheck(ptr_psi_term t, long *prec, long *type)
Definition: print.c:834
void mark_quote_c(ptr_psi_term t, long heap_flag)
Definition: copy.c:396
void persistent_tree(ptr_node n)
Definition: built_ins.c:2561
long f_check_out(ptr_psi_term t)
Definition: lefun.c:992
psi_term list_nil(ptr_definition type)
Definition: parser.c:255
ptr_keyword hash_lookup(ptr_hash_table table, char *symbol)
Definition: hash_table.c:133
void unify_bool_result(ptr_psi_term t, long v)
Definition: built_ins.c:329
void psi_term_error()
Definition: token.c:661
long trail_condition(psi_term *Q)
Definition: login.c:2490
void hash_expand(ptr_hash_table table, int new_size)
Definition: hash_table.c:48
void report_warning2(ptr_psi_term g, char *s)
Definition: error.c:785
void print_undo_stack()
Definition: memory.c:107
long psi_to_string(ptr_psi_term t, char **fn)
Definition: built_ins.c:133
long c_halt()
Definition: built_ins.c:2084
void get_two_args(ptr_node t, ptr_psi_term *a, ptr_psi_term *b)
Definition: login.c:37
void init_trace()
Definition: error.c:587
long glb_value(long result, long f, GENERIC c, GENERIC value1, GENERIC value2, GENERIC *value)
Definition: types.c:1206
void all_sorts()
Definition: types.c:716
void List_InsertAhead(RefListHeader header, Ref atom)
Definition: list.c:39
long count_features(ptr_node t)
Definition: print.c:619
long open_output_file(char *file)
void undo(ptr_stack limit)
Definition: login.c:646
psi_term read_psi_term()
Definition: parser.c:400
ptr_goal makeGoal(ptr_psi_term p)
Definition: bi_sys.c:533
void get_one_arg_addr(ptr_node t, ptr_psi_term **a)
Definition: login.c:115
void insert_math_builtins()
Definition: bi_math.c:1318
int global_unify(ptr_psi_term u, ptr_psi_term v)
Definition: modules.c:1035
psi_term make_life_form(ptr_psi_term tok, ptr_psi_term arg1, ptr_psi_term arg2)
Definition: parser.c:546
GENERIC unitListNext()
Definition: bi_sys.c:418
char * WFGetString(ptr_psi_term psi, int *ok)
Definition: lib.c:410
long do_residuation()
Definition: lefun.c:313
void interrupt()
Definition: interrupt.c:13
void perr(char *str)
Definition: error.c:659
void show(long limit)
Definition: parser.c:52
void main_display_psi_term(ptr_psi_term t)
Definition: print.c:1470
void garbage()
Definition: memory.c:1430
long strict_matches(ptr_psi_term t1, ptr_psi_term t2, long *smaller)
Definition: types.c:1608
void heap_add_str_attr(ptr_psi_term t, char *attrname, char *str)
Definition: token.c:122
void push2_ptr_value(type_ptr t, GENERIC *p, GENERIC v)
Definition: login.c:531
void put_back_char(long c)
Definition: token.c:633
ptr_node general_insert(long comp, char *keystr, ptr_node *tree, GENERIC info, long heapflag, long copystr, long bkflag)
Definition: trees.c:184
long c_append_file()
Definition: built_ins.c:5552
ptr_psi_term exact_copy(ptr_psi_term t, long heap_flag)
Definition: copy.c:195
void residuate(ptr_psi_term t)
Definition: lefun.c:113
void listing_pred_write(ptr_node n, long fflag)
Definition: print.c:1341
long precedence(psi_term tok, long typ)
Definition: parser.c:159
psi_term read_life_form(char ch1, char ch2)
Definition: parser.c:700
long check_out(ptr_psi_term t)
Definition: lefun.c:999
void read_token(ptr_psi_term tok)
Definition: token.c:1063
ptr_psi_term unitListValue()
Definition: bi_sys.c:413
long c_public()
Definition: modules.c:671
long do_residuation_user()
Definition: lefun.c:306
void restore_resid(ptr_resid_block rb, ptr_psi_term *match_date)
Definition: lefun.c:1270
void exit_if_true(long exitflag)
Definition: lib.c:40
void mark_quote_new2(ptr_psi_term t)
Definition: copy.c:471
long yes_or_no()
Definition: types.c:44
void report_warning(ptr_psi_term g, char *s)
Definition: error.c:746
long c_display_modules()
Definition: modules.c:723
long glb(ptr_definition t1, ptr_definition t2, ptr_definition *t3, ptr_int_list *c3)
Definition: types.c:1388
long List_EnumFrom(RefListHeader header, Ref atom, RefListEnumProc proc, Ref closure)
Definition: list.c:311
void mark_quote_tree_c(ptr_node n, long heap_flag)
Definition: copy.c:424
PsiTerm WFGetFeature(ptr_psi_term ps, char *feature)
Definition: lib.c:433
void persistent_error_check(ptr_node n, int *error)
Definition: built_ins.c:2538
long bounds_undo_stack()
Definition: memory.c:121
void text_buffer_push(struct text_buffer **buf, char c)
Definition: sys.c:773
void push_ptr_value(type_ptr t, GENERIC *p)
Definition: login.c:360
psi_term parse_list(ptr_definition typ, char e, char s)
Definition: parser.c:304
ptr_psi_term real_stack_psi_term(long stat, REAL thereal)
Definition: lefun.c:38
void check_resid_block(ptr_resid_block *rb)
Definition: memory.c:900
long c_end_raw()
Definition: raw.c:232
int text_buffer_next(struct text_buffer *buf, int idx, char c, struct text_buffer **rbuf, int *ridx)
Definition: sys.c:724
void push_choice_point(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c)
Definition: login.c:591
void push_goal(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c)
Definition: login.c:555
ptr_module create_module(char *module)
Definition: modules.c:67
psi_term parse(long *q)
Definition: parser.c:877
ptr_node bk_stack_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
Definition: trees.c:309
void clear_copy()
Definition: copy.c:52
void write_attributes(ptr_node n, ptr_tab_brk tab)
Definition: print.c:1321
GENERIC unique_name()
Definition: print.c:87
void main_pred_write(ptr_node n)
Definition: print.c:1375
void List_Concat(RefListHeader header1, RefListHeader header2)
Definition: list.c:277
long legal_in_name(long c)
Definition: token.c:861
int is_ipaddr(char *s)
Definition: sys.c:1068
long make_public(ptr_psi_term term, long bool)
Definition: modules.c:600
void init_system()
Definition: lib.c:77
void heap_mod_str_attr(ptr_psi_term t, char *attrname, char *str)
Definition: token.c:153
ptr_psi_term intListValue(ptr_int_list p)
Definition: bi_sys.c:424
ptr_node find_data(GENERIC p, ptr_node t)
Definition: trees.c:399
char * stack_copy_string(char *s)
Definition: trees.c:155
void reset_step()
Definition: error.c:596
void rec_replace(ptr_definition old, ptr_definition new, ptr_psi_term term)
Definition: modules.c:846
ptr_psi_term inc_heap_copy(ptr_psi_term t)
Definition: copy.c:211
void stack_add_str_attr(ptr_psi_term t, char *attrname, char *str)
Definition: token.c:136
int WFfeature_count_loop(ptr_node n)
Definition: lib.c:315
void assert_type(ptr_psi_term t)
Definition: types.c:345
void pretty_attr(ptr_node t, long depth)
Definition: print.c:1180
long only_arg1(ptr_psi_term t, ptr_psi_term *arg1)
Definition: built_ins.c:1528
long check_real(ptr_psi_term t, REAL *v, long *n)
Definition: built_ins.c:217
void do_pretty_attr(ptr_node t, ptr_tab_brk tab, long *cnt, long two, long depth)
Definition: print.c:1109
char * make_module_token(ptr_module module, char *str)
Definition: modules.c:185
void save_parse_state(ptr_parse_block pb)
Definition: token.c:350
void TOKEN_ERROR(ptr_psi_term p)
Definition: token.c:30
long c_string_length()
Definition: built_ins.c:5389
void read_string(ptr_psi_term tok, long e)
Definition: token.c:743
char * two
Definition: def_glob.h:251
long bit_length(ptr_int_list c)
Definition: types.c:1648
void merge_unify(ptr_node *u, ptr_node v)
Definition: login.c:1070
void global_tree(ptr_node n)
Definition: built_ins.c:2466
ptr_psi_term heap_psi_term(long stat)
Definition: lefun.c:63
void delete_attr(char *s, ptr_node *n)
Definition: trees.c:466
ptr_int_list decode(ptr_int_list c)
Definition: types.c:1678
ptr_psi_term stack_pair(ptr_psi_term left, ptr_psi_term right)
Definition: built_ins.c:67
void display_psi(FILE *s, ptr_psi_term t)
Definition: print.c:1460
void push_ptr_value_global(type_ptr t, GENERIC *p)
Definition: login.c:488
long warningx()
Definition: error.c:692
void mark_quote(ptr_psi_term t)
Definition: copy.c:601
long reportAndAbort(ptr_psi_term g, char *s)
Definition: error.c:732
long redefine(ptr_psi_term t)
Definition: types.c:91
void deref2_rec_eval(ptr_psi_term t)
Definition: lefun.c:1245
void push_psi_ptr_value(ptr_psi_term q, GENERIC *p)
Definition: login.c:443
void read_name(ptr_psi_term tok, long ch, long(*f)(), ptr_definition typ)
long c_module_access()
Definition: modules.c:993
ptr_psi_term makePsiTerm(ptr_definition x)
Definition: bi_sys.c:468
void replace_attr(ptr_node old_attr, ptr_psi_term term, ptr_definition old, ptr_definition new)
Definition: modules.c:875
long c_concatenate()
Definition: built_ins.c:5245
void push(psi_term tok, long prec, long op)
Definition: parser.c:91
int WFInput(char *query)
Definition: lib.c:210
void restore_parse_state(ptr_parse_block pb)
Definition: token.c:365
long c_isa_subsort()
Definition: bi_type.c:515
long has_non_alpha(char *s)
Definition: print.c:386
ptr_node one_attr()
Definition: built_ins.c:4749
void display_psi_stream(ptr_psi_term t)
Definition: print.c:1449
long List_IsUnlink(RefListLinks links)
Definition: list.c:421
void tracing()
Definition: error.c:604
void pretty_symbol(ptr_keyword k)
Definition: modules.c:446
long c_abort()
Definition: built_ins.c:2117
long unify_aim()
Definition: login.c:1264
char * sub_str(char *s, long p, long n)
Definition: built_ins.c:5184
int hash_find(ptr_hash_table table, char *symbol)
Definition: hash_table.c:106
long c_set_module()
Definition: modules.c:483
void prettyf_quoted_string(char *s)
Definition: print.c:454
ptr_node distinct_tree(ptr_node t)
Definition: copy.c:334
ptr_psi_term stack_int(long n)
Definition: built_ins.c:87
char * strip_module_name(char *str)
Definition: modules.c:139
long List_EnumBackFrom(RefListHeader header, Ref atom, RefListEnumProc proc, Ref closure)
Definition: list.c:359
long c_in_raw()
Definition: raw.c:263
void or_codes(ptr_int_list u, ptr_int_list v)
Definition: types.c:780
long matches(ptr_definition t1, ptr_definition t2, long *smaller)
Definition: types.c:1565
void assert_protected(ptr_node n, long prot)
Definition: types.c:235
ptr_psi_term fileptr2stream(FILE *fp, ptr_definition typ)
Definition: sys.c:571
void replace(ptr_definition old, ptr_definition new, ptr_psi_term term)
Definition: modules.c:834
int GetIntOption(char *name, int def)
Definition: memory.c:64
long residuateGoalOnVar(ptr_goal g, ptr_psi_term var, ptr_psi_term othervar)
Definition: lefun.c:172
long warning()
Definition: error.c:685
void pretty_output()
Definition: print.c:1200
void deref2_eval(ptr_psi_term t)
Definition: lefun.c:1224
void nonnum_warning(ptr_psi_term t, ptr_psi_term arg1, ptr_psi_term arg2)
Definition: error.c:796
void toggle_step()
Definition: error.c:650
void feature_insert(char *keystr, ptr_node *tree, ptr_psi_term psi)
Definition: parser.c:225
void append_resid(ptr_psi_term u, ptr_psi_term v)
Definition: lefun.c:434
ptr_hash_table hash_create(int size)
Definition: hash_table.c:26
void get_one_arg(ptr_node t, ptr_psi_term *a)
Definition: login.c:86
long pred_clause(ptr_psi_term t, long r, ptr_psi_term g)
Definition: built_ins.c:2300
long bit_not_warning(ptr_psi_term arg, REAL val)
Definition: error.c:838
void assert_complicated_type(ptr_psi_term t)
Definition: types.c:375
long starts_nonlower(char *s)
Definition: print.c:379
long unify_aim_noeval()
Definition: login.c:1259
void perr_sort_cycle(ptr_int_list anc)
Definition: types.c:892
void perr_s(char *s1, char *s2)
Definition: error.c:665
void display_psi_stdout(ptr_psi_term t)
Definition: print.c:1427
void curry()
Definition: lefun.c:157
ptr_node bk2_stack_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
Definition: trees.c:327
ptr_psi_term eval_copy(ptr_psi_term t, long heap_flag)
Definition: copy.c:205
void show_count()
Definition: login.c:1085
void setUnitList(GENERIC x)
Definition: bi_sys.c:407
void init_built_in_types()
Definition: built_ins.c:5805
void backtrack()
Definition: login.c:724
void WFInit(long argc, char **argv)
void make_sys_type_links()
Definition: sys.c:1726
long no_choices()
Definition: login.c:1838
void report_error2(ptr_psi_term g, char *s)
Definition: error.c:772
long c_open_module()
Definition: modules.c:514
void mark_nonstrict(ptr_psi_term t)
Definition: copy.c:462
void read_token_main(ptr_psi_term tok, long for_parser)
Definition: token.c:1073
char * heap_ncopy_string(char *s, int n)
Definition: trees.c:128
void display_psi_stderr(ptr_psi_term t)
Definition: print.c:1438
void List_Append(RefListHeader header, Ref atom)
Definition: list.c:63
long assert_less(ptr_psi_term t1, ptr_psi_term t2)
Definition: types.c:183
FILE * get_stream(ptr_psi_term t)
Definition: token.c:219
void perr_sort_list(ptr_int_list anc)
Definition: types.c:882
void eval_global_var(ptr_psi_term t)
Definition: lefun.c:1291
long overlap_type(ptr_definition t1, ptr_definition t2)
Definition: types.c:1486
void print_bin(long b)
Definition: print.c:130
void pretty_psi_term(ptr_psi_term t, long sprec, long depth)
Definition: print.c:972
void put_back_token(psi_term t)
Definition: token.c:647
#define REAL
Definition: def_const.h:72
void insert_system_builtins()
Definition: bi_sys.c:626
ptr_psi_term copy(ptr_psi_term t, long copy_flag, long heap_flag)
Definition: copy.c:219
FILE * outfile
Definition: def_glob.h:333
ptr_definition update_symbol(ptr_module module, char *symbol)
Definition: modules.c:264
void insert_own_prop(ptr_definition d)
Definition: types.c:539
void read_number(ptr_psi_term tok, long c)
Definition: token.c:986
void perr_s2(char *s1, char *s2, char *s3)
Definition: error.c:671
long pop(ptr_psi_term tok, long *op)
Definition: parser.c:115
ptr_node heap_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
Definition: trees.c:276
ptr_psi_term stack_cons(ptr_psi_term head, ptr_psi_term tail)
Definition: built_ins.c:47
char * text_buffer_cmp(struct text_buffer *buf, int idx, char *str)
Definition: sys.c:748
int get_module(ptr_psi_term psi, ptr_module *module)
Definition: modules.c:1207
long get_real_value(ptr_psi_term t, REAL *v, long *n)
Definition: built_ins.c:246
ptr_int_list two_to_the(long p)
Definition: types.c:731
void stack_add_psi_attr(ptr_psi_term t, char *attrname, ptr_psi_term g)
Definition: token.c:192
void hash_display(ptr_hash_table table)
Definition: hash_table.c:182
void init_io()
Definition: lib.c:53
void release_resid(ptr_psi_term t)
Definition: lefun.c:414
void mark_eval_tree_new(ptr_node n)
Definition: copy.c:546
void heap_add_int_attr(ptr_psi_term t, char *attrname, long value)
Definition: token.c:58
long c_lub()
Definition: bi_type.c:614
void insert_prop(ptr_definition d, ptr_triple_list prop)
Definition: types.c:580
char * str_conc(char *s1, char *s2)
Definition: built_ins.c:5171
void pretty_list(ptr_psi_term t, long depth)
Definition: print.c:661
void deref_rec_body(ptr_psi_term t)
Definition: lefun.c:1135
void deref_rec_args(ptr_node n)
Definition: lefun.c:1159
long sub_type(ptr_definition t1, ptr_definition t2)
Definition: types.c:1544
void traceline(char *format,...)
Definition: error.c:157
char * print_symbol(ptr_keyword k)
Definition: modules.c:429
void List_Swap(RefListHeader header, Ref first, Ref second)
Definition: list.c:154
void fetch_def(ptr_psi_term u, long allflag)
Definition: login.c:1128
ptr_psi_term new_psi_term(long numargs, ptr_definition typ, ptr_psi_term **a1, ptr_psi_term **a2)
Definition: built_ins.c:4764
long c_reset_window_flag()
Definition: raw.c:309
void end_tab()
Definition: print.c:497
long c_display_persistent()
Definition: modules.c:759
void fetch_def_lazy(ptr_psi_term u, ptr_definition old1, ptr_definition old2, ptr_node old1attr, ptr_node old2attr, long old1stat, long old2stat)
Definition: login.c:1188
void * PsiTerm
Definition: def_struct.h:4
void check_hash_table(ptr_hash_table table)
Definition: memory.c:576
ptr_psi_term distinct_copy(ptr_psi_term t)
Definition: copy.c:358
long eval_args(ptr_node n)
Definition: lefun.c:826
char * string_val(ptr_psi_term term)
Definition: modules.c:164
void match_attr(ptr_node *u, ptr_node v, ptr_resid_block rb)
Definition: lefun.c:692
RefListLinks(* RefListGetLinksProc)()
Definition: def_struct.h:261
void Errorline(char *format,...)
Definition: error.c:414
void pretty_quote_symbol(ptr_keyword k)
Definition: modules.c:464
char * heap_copy_string(char *s)
Definition: trees.c:147
void type_disj_aim()
Definition: login.c:1744
void assert_delay_check(ptr_node n)
Definition: types.c:303
int WFFeatureCount(ptr_psi_term psi)
Definition: lib.c:334
long is_int(char **s, long *len, long *sgn)
Definition: trees.c:27
ptr_int_list cons(GENERIC v, ptr_int_list l)
Definition: types.c:164
void end_terminal_io()
Definition: token.c:431
void forbid_variables(ptr_node n)
Definition: print.c:309
void stack_add_int_attr(ptr_psi_term t, char *attrname, long value)
Definition: token.c:73
ptr_psi_term stack_nil()
Definition: built_ins.c:29
void one_pass_always_check(long *ch)
Definition: types.c:976
long get_arg(ptr_psi_term g, ptr_psi_term *arg, char *number)
Definition: templates.c:20
void print_gc_info(long timeflag)
Definition: memory.c:1396
ptr_psi_term makePsiList(GENERIC head, ptr_psi_term(*valueFunc)(), GENERIC(*nextFunc)())
Definition: bi_sys.c:480
void List_Reverse(RefListHeader header)
Definition: list.c:206
void bk_stack_add_psi_attr(ptr_psi_term t, char *attrname, ptr_psi_term g)
Definition: token.c:200
void residuate2(ptr_psi_term u, ptr_psi_term v)
Definition: lefun.c:130
ptr_node stack_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
Definition: trees.c:291
void set_trace_to_prove()
Definition: error.c:639
void infoline(char *format,...)
Definition: error.c:245
int hash_code(ptr_hash_table table, char *symbol)
Definition: hash_table.c:81
void print_resid_message(ptr_psi_term t, ptr_resid_list r)
Definition: print.c:1562
void print_codes()
Definition: types.c:1178
long count_sorts(long c0)
Definition: types.c:669
long c_args()
Definition: built_ins.c:5777
long c_tprove()
Definition: bi_sys.c:65
void prettyf_inner(char *s, long q, char c)
Definition: print.c:349
void print_code(FILE *s, ptr_int_list c)
Definition: print.c:147
char ** WFFeatures(ptr_psi_term psi)
Definition: lib.c:364
void do_currying()
Definition: lefun.c:359
void global_one(ptr_psi_term t)
Definition: built_ins.c:2482
void insert_sys_builtins()
Definition: sys.c:1760
void insert_type_builtins()
Definition: bi_type.c:655
long load_aim()
Definition: login.c:2104
void hash_insert(ptr_hash_table table, char *symbol, ptr_keyword keyword)
Definition: hash_table.c:155
void assert_attributes(ptr_psi_term t)
Definition: types.c:468
char * heap_nice_name()
Definition: print.c:55
void begin_terminal_io()
Definition: token.c:410
void perr_sort(ptr_definition d)
Definition: types.c:876
void Syntaxerrorline(char *format,...)
Definition: error.c:498
void init_copy()
Definition: copy.c:34
void work_out_length()
Definition: print.c:557
long nonint_warning(ptr_psi_term arg, REAL val, char *msg)
Definition: error.c:810
char * name
Definition: def_glob.h:325
void release_resid_main(ptr_psi_term t, long trailflag)
Definition: lefun.c:384
void display_couple(ptr_psi_term u, char *s, ptr_psi_term v)
Definition: print.c:1516
void check_gamma_code()
Definition: memory.c:1008
void print_def_type(def_type t)
Definition: types.c:21
void check_pointer(ptr_psi_term p)
Definition: print.c:214
long call_primitive(long(*fun)(), int num, psi_arg argi[], GENERIC info)
void crunch(long prec, long limit)
Definition: parser.c:636
long declare_operator(ptr_psi_term t)
Definition: built_ins.c:5114
ptr_psi_term quotedStackCopy(psi_term p)
Definition: bi_sys.c:436
void residuate_double(ptr_psi_term t, ptr_psi_term u)
Definition: lefun.c:95
void make_type_link(ptr_definition t1, ptr_definition t2)
Definition: types.c:848
long num_vars(ptr_node vt)
Definition: login.c:1861
long c_random()
Definition: built_ins.c:5626
long what_next_cut()
Definition: login.c:1872
long prove_aim()
Definition: login.c:1545
void least_sorts()
Definition: types.c:700
long no_quote(char *s)
Definition: print.c:423
void start_chrono()
Definition: login.c:330
void init_global_vars()
Definition: lefun.c:1337
void release_resid_notrail(ptr_psi_term t)
Definition: lefun.c:420
void pretty_tag_or_psi_term(ptr_psi_term p, long sprec, long depth)
Definition: print.c:761
long abort_life(int nlflag)
Definition: built_ins.c:2124
void insert_variables(ptr_node vars, long force)
Definition: print.c:281
void fail_all()
Definition: memory.c:165
void merge(ptr_node *u, ptr_node v)
Definition: login.c:1061
long c_put_raw()
Definition: raw.c:205
void push_def_ptr_value(ptr_psi_term q, GENERIC *p)
Definition: login.c:389
ptr_int_list lub(ptr_psi_term a, ptr_psi_term b, ptr_psi_term *pp)
Definition: lub.c:150
void exit_life(long nl_flag)
Definition: built_ins.c:2090
void pretty_variables(ptr_node n, ptr_tab_brk tab)
Definition: print.c:1221
long c_initrandom()
Definition: built_ins.c:5690
ptr_psi_term heap_copy_psi_term(psi_term t)
Definition: parser.c:202
void init_print()
Definition: print.c:48
void match_attr3(ptr_node *u, ptr_node v, ptr_resid_block rb)
Definition: lefun.c:643
void insert_translation(ptr_psi_term a, ptr_psi_term b, long info)
Definition: copy.c:63
void init_memory()
Definition: memory.c:1572
ptr_psi_term stack_psi_term(long stat)
Definition: lefun.c:15
void heap_insert_copystr(char *keystr, ptr_node *tree, GENERIC info)
Definition: trees.c:245
void propagate_definitions()
Definition: types.c:622
long deref_rec_eval(ptr_psi_term t)
Definition: lefun.c:1123
long clause_aim(long r)
Definition: login.c:1775
ptr_definition new_definition(ptr_keyword key)
Definition: modules.c:215
void toggle_trace()
Definition: error.c:644
ptr_module extract_module_from_name(char *str)
Definition: modules.c:111
void report_error(ptr_psi_term g, char *s)
Definition: error.c:718
long c_current_module()
Definition: modules.c:956
long check_type(ptr_psi_term t)
Definition: lefun.c:922
long shift_warning(long dir, ptr_psi_term arg, REAL val)
Definition: error.c:867
void init_parse_state()
Definition: token.c:381
void pred_write(ptr_node n)
Definition: print.c:1365
ptr_psi_term residListGoalQuote(ptr_residuation p)
Definition: bi_sys.c:451
void residuate3(ptr_psi_term u, ptr_psi_term v, ptr_psi_term w)
Definition: lefun.c:142
void List_SetLinkProc(RefListHeader header, RefListGetLinksProc getLinks)
Definition: list.c:21
long file_exists(char *s)
Definition: built_ins.c:1622
void report_error2_main(ptr_psi_term g, char *s, char *s2)
Definition: error.c:755
long symbolic(long c)
Definition: token.c:850
long all_symbol(char *s)
Definition: print.c:397
long goals
Definition: def_struct.h:21
void reset_stacks()
Definition: login.c:1924
long c_glb()
Definition: bi_type.c:553
void clean_undo_window(long disp, long wind)
Definition: login.c:792
char * GetStrOption(char *name, char *def)
Definition: memory.c:33
void insert_dbm_builtins()
void find_adults()
Definition: types.c:516
long c_private_feature()
Definition: modules.c:1288
long type_member(ptr_definition t, ptr_int_list tlst)
Definition: types.c:864
long bit_or_warning(ptr_psi_term arg, REAL val)
Definition: error.c:831
long strpos(long pos, char *str)
Definition: print.c:540
void read_comment(ptr_psi_term tok)
Definition: token.c:676
ptr_node find(long comp, char *keystr, ptr_node tree)
Definition: trees.c:341
int dummy_printf(char *f, char *s, char *t)
Definition: login.c:2482
long eval_aim()
Definition: lefun.c:456
void match_attr1(ptr_node *u, ptr_node v, ptr_resid_block rb)
Definition: lefun.c:552
void save_resid(ptr_resid_block rb, ptr_psi_term match_date)
Definition: lefun.c:1256
ptr_psi_term stack_copy_psi_term(psi_term t)
Definition: parser.c:183
long featcmp(char *str1, char *str2)
Definition: trees.c:89
void mark_eval(ptr_psi_term t)
Definition: copy.c:452
void deref_rec_args_exc(ptr_node n, long set)
Definition: lefun.c:1203
void restore_state(ptr_psi_term t)
Definition: token.c:267
void outputline(char *format,...)
Definition: error.c:79
int base2int(int n)
Definition: token.c:705
long c_trace_input()
Definition: modules.c:795
char * WFType(ptr_psi_term psi)
Definition: lib.c:350
long str_to_int(char *s)
Definition: print.c:103
long unify_real_result(ptr_psi_term t, REAL v)
Definition: built_ins.c:371
void push_window(long type, long disp, long wind)
Definition: login.c:510
long c_alias()
Definition: modules.c:1164
void prettyf(char *s)
Definition: print.c:447
void encode_types()
Definition: types.c:1015
long deref_eval(ptr_psi_term t)
Definition: lefun.c:1087
void merge3(ptr_node *u, ptr_node v)
Definition: login.c:934
void check_definition(ptr_definition *d)
Definition: memory.c:612
ptr_int_list copyTypeCode(ptr_int_list u)
Definition: types.c:760
int main(int argc, char *argv[])
Definition: life.c:40
void List_Cut(RefListHeader header, Ref atom, RefListHeader newHeader)
Definition: list.c:429
void propagate_always_check(ptr_definition d, long *ch)
Definition: types.c:950
long i_eval_args(ptr_node n)
Definition: lefun.c:817
void List_InsertBefore(RefListHeader header, Ref atom, Ref mark)
Definition: list.c:89
GENERIC residListNext(ptr_residuation p)
Definition: bi_sys.c:462
void clear_already_loaded(ptr_node n)
Definition: types.c:326
long is_integer(char *s)
Definition: print.c:408
long List_EnumBack(RefListHeader header, RefListEnumProc proc, Ref closure)
Definition: list.c:389
long isValue(ptr_psi_term p)
Definition: bi_type.c:541
void main_prove()
Definition: login.c:2205
long deref_args_eval(ptr_psi_term t, long set)
Definition: lefun.c:1175
ptr_psi_term quote_copy(ptr_psi_term t, long heap_flag)
Definition: copy.c:200
void new_state(ptr_psi_term *t)
Definition: token.c:301
long c_quiet()
Definition: bi_sys.c:155
ptr_choice_point topmost_what_next()
Definition: login.c:1907
void mark_ancestors(ptr_definition def, long *flags)
Definition: lub.c:45
struct wl_psi_term * ptr_psi_term
Definition: def_struct.h:34
void handle_interrupt()
Definition: interrupt.c:43
void read_token_b(ptr_psi_term tok)
Definition: token.c:1069
void raw_setup_builtins()
Definition: raw.c:327
void save_state(ptr_psi_term t)
Definition: token.c:230
void stack_info(FILE *outfile)
Definition: error.c:58
void go_through(ptr_psi_term t)
Definition: print.c:258
void new_built_in(ptr_module m, char *s, def_type t, long(*r)())
Definition: built_ins.c:5054
void check_func(ptr_psi_term t)
Definition: lefun.c:861
char ** group_features(char **f, ptr_node n)
Definition: lib.c:22
long sub_CodeType(ptr_int_list c1, ptr_int_list c2)
Definition: types.c:1522
long c_private()
Definition: modules.c:697
long print_variables(long printflag)
Definition: print.c:1272
void mark_quote_tree(ptr_node t)
Definition: copy.c:616
long List_Enum(RefListHeader header, RefListEnumProc proc, Ref closure)
Definition: list.c:341
long read_char()
Definition: token.c:587
void global_error_check(ptr_node n, int *error, int *eval2)
Definition: built_ins.c:2428
long c_deref_length()
Definition: built_ins.c:5743
long mod_warning(ptr_psi_term arg, REAL val, int zero)
Definition: error.c:852
ptr_psi_term translate(ptr_psi_term a, long **infoptr)
Definition: copy.c:101
void new_step(long newstep)
Definition: error.c:629
long c_replace()
Definition: modules.c:917
void report_error_main(ptr_psi_term g, char *s, char *s2)
Definition: error.c:700
void text_buffer_free(struct text_buffer *buf)
Definition: sys.c:795
double WFGetDouble(ptr_psi_term psi, int *ok)
Definition: lib.c:387
void undo_actions()
Definition: login.c:690
long glb_code(long f1, GENERIC c1, long f2, GENERIC c2, long *f3, GENERIC *c3)
Definition: types.c:1263
void mark_tab(ptr_tab_brk t)
Definition: print.c:513
int(* RefListEnumProc)()
Definition: def_struct.h:262
void inherit_always_check()
Definition: types.c:994
long c_get_raw()
Definition: raw.c:103
void check_psi_term(ptr_psi_term *t)
Definition: memory.c:920
void assert_rule(psi_term t, def_type typ)
Definition: login.c:237
GENERIC get_attr(ptr_psi_term t, char *attrname)
Definition: token.c:210
void open_module_tree(ptr_node n, int *onefailed)
Definition: modules.c:533
ptr_definition update_feature(ptr_module module, char *feature)
Definition: modules.c:1315
long look()
Definition: parser.c:146
void add_rule(ptr_psi_term head, ptr_psi_term body, def_type typ)
Definition: login.c:148
ptr_psi_term stack_bytes(char *s, int n)
Definition: built_ins.c:117
void List_Remove(RefListHeader header, Ref atom)
Definition: list.c:230
long check_opargs(ptr_node n)
Definition: print.c:815
void warningline(char *format,...)
Definition: error.c:327
ptr_module find_module(char *module)
Definition: modules.c:48
void init_modules()
Definition: modules.c:30
void equalize_codes(int len)
Definition: types.c:806
long disjunct_aim()
Definition: login.c:1525
void go_through_tree(ptr_node t)
Definition: print.c:236
void traverse_tree(ptr_node n, int flag)
Definition: modules.c:640
void heap_mod_int_attr(ptr_psi_term t, char *attrname, long value)
Definition: token.c:91
ptr_int_list appendIntList(ptr_int_list tail, ptr_int_list more)
Definition: lub.c:28
long memory_check()
Definition: memory.c:1622
void check_sys_definitions()
Definition: sys.c:1740
void stdin_cleareof()
Definition: token.c:42
void prettyf_quote(char *s)
Definition: print.c:474
int global_unify_attr(ptr_node u, ptr_node v)
Definition: modules.c:1117
unsigned long * GENERIC
Definition: def_struct.h:17
long has_rules(ptr_pair_list r)
Definition: built_ins.c:4799
long match_aim()
Definition: lefun.c:712
long c_sub_string()
Definition: built_ins.c:5444
long int_div_warning(ptr_psi_term arg, REAL val)
Definition: error.c:845
long num_choices()
Definition: login.c:1845
PsiTerm WFGetVar(char *name)
Definition: lib.c:297
void mark_eval_new(ptr_psi_term t)
Definition: copy.c:479
int bad_psi_term(ptr_psi_term t)
Definition: parser.c:20
void merge2(ptr_node *u, ptr_node v)
Definition: login.c:884
long c_window_flag()
Definition: raw.c:284
void bk_mark_quote(ptr_psi_term t)
Definition: copy.c:630
void merge1(ptr_node *u, ptr_node v)
Definition: login.c:833
long type_ptr
Definition: def_const.h:169
void match_attr2(ptr_node *u, ptr_node v, ptr_resid_block rb)
Definition: lefun.c:592
void title()
Definition: info.c:31
char * expand_file_name(char *s)
Definition: token.c:449
void heap_add_psi_attr(ptr_psi_term t, char *attrname, ptr_psi_term g)
Definition: token.c:184
void new_trace(long newtrace)
Definition: error.c:619
long c_trace()
Definition: bi_sys.c:20
long all_public_symbols()
Definition: modules.c:1349
void mark_quote_tree_new(ptr_node n)
Definition: copy.c:581
long check_legal_cons(ptr_psi_term t, ptr_definition t_type)
Definition: print.c:642
void check_definition_list()
Definition: memory.c:648
long open_input_file(char *file)
Definition: token.c:504
void remove_cycles(ptr_definition d, ptr_int_list *dl)
Definition: types.c:73
long is_built_in(ptr_pair_list r)
Definition: built_ins.c:4811
ptr_module set_current_module(ptr_module module)
Definition: modules.c:95
long append_files(char *s1, char *s2)
Definition: built_ins.c:5211
void vinfoline(char *format, FILE *outfile,...)
void assert_clause(ptr_psi_term t)
Definition: login.c:267
void check_attr(ptr_node *n)
Definition: memory.c:985
void print_operator_kind(FILE *s, long kind)
Definition: print.c:173
ptr_goal GoalFromPsiTerm(ptr_psi_term psiTerm)
void perr_i(char *str, long i)
Definition: error.c:677
long what_next_aim()
Definition: login.c:1942
void persistent_one(ptr_psi_term t)
Definition: built_ins.c:2577
long i_check_out(ptr_psi_term t)
Definition: lefun.c:985
void * Ref
Definition: def_struct.h:258
void init_interrupt()
Definition: interrupt.c:28
GENERIC heap_alloc(long s)
Definition: memory.c:1518
GENERIC intListNext(ptr_int_list p)
Definition: bi_sys.c:430
long bit_and_warning(ptr_psi_term arg, REAL val)
Definition: error.c:824
void stack_insert_copystr(char *keystr, ptr_node *tree, GENERIC info)
Definition: trees.c:260
long List_Card(RefListHeader header)
Definition: list.c:410
GENERIC stack_alloc(long s)
Definition: memory.c:1542
int GetBoolOption(char *name)
Definition: memory.c:54
long c_begin_raw()
Definition: raw.c:32
ptr_psi_term collect_symbols(long sel)
Definition: built_ins.c:3446
void open_module_one(ptr_psi_term t, int *onefailed)
Definition: modules.c:550
long unify_body(long eval_flag)
Definition: login.c:1269
long pretty_psi_with_ops(ptr_psi_term t, long sprec, long depth)
Definition: print.c:866
long in_set(char *str, long set)
Definition: lefun.c:1192
long two_or_more(ptr_node t)
Definition: print.c:1165
void assert_args_not_eval(ptr_node n)
Definition: types.c:273
void new_tab(ptr_tab_brk *t)
Definition: print.c:525
void clear_coding()
Definition: types.c:685
ptr_psi_term make_feature_list(ptr_node tree, ptr_psi_term tail, ptr_module module, int val)
Definition: built_ins.c:156
int make_feature_private(ptr_psi_term term)
Definition: modules.c:1239
void List_InsertAfter(RefListHeader header, Ref atom, Ref mark)
Definition: list.c:119
long type_cyclicity(ptr_definition d, ptr_int_list anc)
Definition: types.c:907
void pchoices()
Definition: memory.c:81
void read_string_error(int n)
Definition: token.c:689
void bk_mark_quote_tree(ptr_node t)
Definition: copy.c:647
ptr_psi_term stack_string(char *s)
Definition: built_ins.c:102