Wild Life: def_proto.h Source File

Wild Life 2.30

- Main Page
- Data Structures
- Files

- File List
- Globals

All Data Structures Files Functions Variables Typedefs Macros
def_proto.h
Go to the documentation of this file.
1
6 // from arity.c
7 #ifdef ARITY
8 void arity_init();
9 void arity_end();
10 void rec_print_feat(ptr_node n);
11 void print_features(ptr_node u);
12 int check_equal(ptr_node u,ptr_node v);
13 void arity_unify(ptr_psi_term u, ptr_psi_term v);
14 void arity_merge(ptr_node u, ptr_node v);
15 void arity_add(ptr_psi_term u, char *s);
16 #endif
17
18 // from bi_math.c
19 void insert_math_builtins();
20
21 // from bi_sys.c
22
23 long c_trace();
24 long c_tprove();
25 long c_quiet();
26 void setUnitList(GENERIC x);
27 ptr_psi_term unitListValue();
28 GENERIC unitListNext();
29 ptr_psi_term intListValue(ptr_int_list p);
30 GENERIC intListNext(ptr_int_list p);
31 ptr_psi_term quotedStackCopy( /* ptr_ */ psi_term p); // commented 2.22
32 ptr_psi_term residListGoalQuote(ptr_residuation p);
33 GENERIC residListNext(ptr_residuation p);
34 ptr_psi_term makePsiTerm(ptr_definition x);
35 ptr_psi_term makePsiList(GENERIC head,ptr_psi_term (*valueFunc)(),GENERIC (*nextFunc)());
36 ptr_goal makeGoal(ptr_psi_term p);
37 void insert_system_builtins();
38 // from bi_type.c
39
40 long c_isa_subsort();
41 long isValue(ptr_psi_term p);
42 long c_glb();
43 long c_lub();
44 void insert_type_builtins();
45 int isSubTypeValue(ptr_psi_term arg1,ptr_psi_term arg2);
46 // from built_ins.c
47
48 ptr_psi_term stack_nil();
49 ptr_psi_term stack_cons(ptr_psi_term head,ptr_psi_term tail);
50 ptr_psi_term stack_pair(ptr_psi_term left,ptr_psi_term right);
51 ptr_psi_term stack_int(long n);
52 ptr_psi_term stack_string(char *s);
53 ptr_psi_term stack_bytes(char *s,int n);
54 long psi_to_string(ptr_psi_term t,char **fn);
55 ptr_psi_term make_feature_list(ptr_node tree,ptr_psi_term tail,ptr_module module, int val);
56 long check_real(ptr_psi_term t,REAL *v,long *n);
57 long get_real_value(ptr_psi_term t,REAL *v,long *n);
58 void unify_bool_result(ptr_psi_term t,long v);
59 long unify_real_result(ptr_psi_term t,REAL v);
60 long only_arg1(ptr_psi_term t,ptr_psi_term *arg1);
61 long file_exists(char *s);
62 long c_halt();
63 void exit_life(long nl_flag);
64 long c_abort();
65 long abort_life(int nlflag);
66 long pred_clause(ptr_psi_term t, long r, ptr_psi_term g);
67 void global_error_check(ptr_node n,int *error,int *eval2);
68 void global_tree(ptr_node n);
69 void global_one(ptr_psi_term t);
70 void persistent_error_check(ptr_node n,int *error);
71 void persistent_tree(ptr_node n);
72 void persistent_one(ptr_psi_term t);
73 long hidden_type(ptr_definition t);
74 ptr_psi_term collect_symbols(long sel);
75 ptr_node one_attr();
76 ptr_psi_term new_psi_term(long numargs,ptr_definition typ,ptr_psi_term **a1,ptr_psi_term **a2);
77 long has_rules(ptr_pair_list r);
78 long is_built_in(ptr_pair_list r);
79 void list_special(ptr_psi_term t);
80 void new_built_in(ptr_module m, char *s,def_type t,long (*r)());
81 long declare_operator(ptr_psi_term t);
82 char *str_conc(char *s1,char *s2);
83 char *sub_str(char *s,long p,long n);
84 long append_files(char *s1,char *s2);
85 long c_concatenate();
86 long c_string_length();
87 long c_sub_string();
88 long c_append_file();
89 long c_random();
90 long c_initrandom();
91 long c_deref_length();
92 long c_args();
93 void init_built_in_types();
94 // from copy.c
95
96 void init_copy();
97 void clear_copy();
98 void insert_translation(ptr_psi_term a,ptr_psi_term b,long info);
99 ptr_psi_term translate(ptr_psi_term a,long **infoptr);
100 ptr_psi_term exact_copy(ptr_psi_term t,long heap_flag);
101 ptr_psi_term quote_copy(ptr_psi_term t,long heap_flag);
102 ptr_psi_term eval_copy(ptr_psi_term t,long heap_flag);
103 ptr_psi_term inc_heap_copy(ptr_psi_term t);
104 ptr_psi_term copy(ptr_psi_term t,long copy_flag,long heap_flag);
105 ptr_node distinct_tree(ptr_node t);
106 ptr_psi_term distinct_copy(ptr_psi_term t);
107 void mark_quote_c(ptr_psi_term t,long heap_flag);
108 void mark_quote_tree_c(ptr_node n,long heap_flag);
109 void mark_eval(ptr_psi_term t);
110 void mark_nonstrict(ptr_psi_term t);
111 void mark_quote_new2(ptr_psi_term t);
112 void mark_eval_new(ptr_psi_term t);
113 void mark_eval_tree_new(ptr_node n);
114 void mark_quote_new(ptr_psi_term t);
115 void mark_quote_tree_new(ptr_node n);
116 void mark_quote(ptr_psi_term t);
117 void mark_quote_tree(ptr_node t);
118 void bk_mark_quote(ptr_psi_term t);
119 void bk_mark_quote_tree(ptr_node t);
120 // from error.c
121
122 void stack_info(FILE *outfile);
123 void outputline(char *format, ...);
124 void traceline(char *format, ...);
125 void infoline(char *format, ...);
126 void warningline(char *format, ...);
127 void Errorline(char *format, ...);
128 void Syntaxerrorline(char *format, ...);
129 void vinfoline(char *format, FILE *outfile, ...);
130 void init_trace();
131 void reset_step();
132 void tracing();
133 void new_trace(long newtrace);
134 void new_step(long newstep);
135 void set_trace_to_prove();
136 void toggle_trace();
137 void toggle_step();
138 void perr(char *str);
139 void perr_s(char *s1,char *s2);
140 void perr_s2(char *s1,char *s2,char *s3);
141 void perr_i(char *str,long i);
142 long warning();
143 long warningx();
144 void report_error_main(ptr_psi_term g,char *s,char *s2);
145 void report_error(ptr_psi_term g,char *s);
146 long reportAndAbort(ptr_psi_term g,char *s);
147 void report_warning(ptr_psi_term g,char *s);
148 void report_error2_main(ptr_psi_term g,char *s, char *s2);
149 void report_error2(ptr_psi_term g,char *s);
150 void report_warning2(ptr_psi_term g,char *s);
151 void nonnum_warning(ptr_psi_term t,ptr_psi_term arg1,ptr_psi_term arg2);
152 long nonint_warning(ptr_psi_term arg,REAL val,char *msg);
153 long bit_and_warning(ptr_psi_term arg,REAL val);
154 long bit_or_warning(ptr_psi_term arg,REAL val);
155 long bit_not_warning(ptr_psi_term arg,REAL val);
156 long int_div_warning(ptr_psi_term arg,REAL val);
157 long mod_warning(ptr_psi_term arg,REAL val,int zero);
158 long shift_warning(long dir,ptr_psi_term arg,REAL val);
159
160 // from hash_table.c
161
162 ptr_hash_table hash_create(int size);
163 void hash_expand(ptr_hash_table table, int new_size);
164 int hash_code(ptr_hash_table table, char *symbol);
165 int hash_find(ptr_hash_table table,char *symbol);
166 ptr_keyword hash_lookup(ptr_hash_table table, char *symbol);
167 void hash_insert(ptr_hash_table table,char *symbol,ptr_keyword keyword);
168 void hash_display(ptr_hash_table table);
169
170 // from info.c
171
172 void title();
173 // from interrupt.c
174
175 void interrupt();
176 void init_interrupt();
177 void handle_interrupt();
178 // from lefun.c
179
180 ptr_psi_term stack_psi_term(long stat);
181 ptr_psi_term real_stack_psi_term(long stat,REAL thereal);
182 ptr_psi_term heap_psi_term(long stat);
183 void residuate_double(ptr_psi_term t, ptr_psi_term u);
184 void residuate(ptr_psi_term t);
185 void residuate2(ptr_psi_term u, ptr_psi_term v);
186 void residuate3(ptr_psi_term u, ptr_psi_term v,ptr_psi_term w);
187 void curry();
188 long residuateGoalOnVar(ptr_goal g,ptr_psi_term var, ptr_psi_term othervar);
189 long do_residuation_user();
190 long do_residuation();
191 void do_currying();
192 void release_resid_main(ptr_psi_term t,long trailflag);
193 void release_resid(ptr_psi_term t);
194 void release_resid_notrail(ptr_psi_term t);
195 void append_resid(ptr_psi_term u, ptr_psi_term v);
196 long eval_aim();
197 void match_attr1(ptr_node *u,ptr_node v,ptr_resid_block rb); // no * v
198 void match_attr2(ptr_node *u,ptr_node v,ptr_resid_block rb); // no * v
199 void match_attr3(ptr_node *u,ptr_node v,ptr_resid_block rb); // no * v
200 void match_attr(ptr_node *u,ptr_node v,ptr_resid_block rb); // no * v
201 long match_aim();
202 long i_eval_args(ptr_node n);
203 long eval_args(ptr_node n);
204 void check_disj(ptr_psi_term t);
205 void check_func(ptr_psi_term t);
206 long check_type(ptr_psi_term t);
207 long i_check_out(ptr_psi_term t);
208 long f_check_out(ptr_psi_term t);
209 long check_out(ptr_psi_term t);
210 long deref_eval(ptr_psi_term t);
211 long deref_rec_eval(ptr_psi_term t);
212 void deref_rec_body(ptr_psi_term t);
213 void deref_rec_args(ptr_node n);
214 long deref_args_eval(ptr_psi_term t,long set);
215 long in_set(char *str,long set);
216 void deref_rec_args_exc(ptr_node n,long set);
217 void deref2_eval(ptr_psi_term t);
218 void deref2_rec_eval(ptr_psi_term t);
219 void save_resid(ptr_resid_block rb,ptr_psi_term match_date);
220 void restore_resid(ptr_resid_block rb,ptr_psi_term *match_date);
221 void eval_global_var(ptr_psi_term t);
222 void init_global_vars();
223 // from lib.c
224
225 char **group_features(char **f, ptr_node n);
226 void exit_if_true(long exitflag);
227 void init_io();
228 void init_system();
229 void WFInit(long argc, char **argv);
230 int WFInput(char *query);
231 PsiTerm WFGetVar(char *name);
232 int WFfeature_count_loop(ptr_node n);
233 int WFFeatureCount(ptr_psi_term psi);
234 char *WFType(ptr_psi_term psi);
235 char **WFFeatures(ptr_psi_term psi);
236 double WFGetDouble(ptr_psi_term psi,int *ok);
237 char *WFGetString(ptr_psi_term psi, int *ok);
238 PsiTerm WFGetFeature(ptr_psi_term ps, char *feature);
239
240 int main(int argc, char *argv[]);
241 // from list.c
242
243 void List_SetLinkProc (RefListHeader header,RefListGetLinksProc getLinks);
244 void List_InsertAhead (RefListHeader header,Ref atom);
245 void List_Append (RefListHeader header,Ref atom);
246 void List_InsertBefore (RefListHeader header,Ref atom,Ref mark);
247 void List_InsertAfter (RefListHeader header,Ref atom,Ref mark);
248 void List_Swap (RefListHeader header,Ref first,Ref second);
249 void List_Reverse (RefListHeader header);
250 void List_Remove (RefListHeader header,Ref atom);
251 void List_Concat (RefListHeader header1,RefListHeader header2);
252 long List_EnumFrom (RefListHeader header,Ref atom,RefListEnumProc proc,Ref closure);
253 long List_Enum (RefListHeader header,RefListEnumProc proc,Ref closure);
254 long List_EnumBackFrom (RefListHeader header,Ref atom, RefListEnumProc proc, Ref closure);
255 long List_EnumBack (RefListHeader header,RefListEnumProc proc, Ref closure);
256 long List_Card (RefListHeader header);
257 long List_IsUnlink (RefListLinks links);
258 void List_Cut (RefListHeader header,Ref atom, RefListHeader newHeader);
259
260 // from login.c
261
262 void get_two_args(ptr_node t, ptr_psi_term *a, ptr_psi_term *b);
263 void get_one_arg(ptr_node t, ptr_psi_term *a);
264 void get_one_arg_addr(ptr_node t, ptr_psi_term **a);
265 void add_rule(ptr_psi_term head, ptr_psi_term body, def_type typ);
266 void assert_rule(psi_term t, def_type typ);
267 void assert_clause(ptr_psi_term t);
268 void start_chrono();
269 void push_ptr_value(type_ptr t, GENERIC *p);
270 void push_def_ptr_value(ptr_psi_term q, GENERIC *p);
271 void push_psi_ptr_value(ptr_psi_term q, GENERIC *p);
272 void push_ptr_value_global(type_ptr t, GENERIC *p);
273 void push_window(long type,long disp,long wind);
274 void push2_ptr_value(type_ptr t, GENERIC *p, GENERIC v);
275 void push_goal(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c);
276 void push_choice_point(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c);
277 void undo(ptr_stack limit);
278 void undo_actions();
279 void backtrack();
280 void clean_undo_window(long disp,long wind);
281 void merge1(ptr_node *u, ptr_node v); // no * v
282 void merge2(ptr_node *u, ptr_node v); // no * v
283 void merge3(ptr_node *u, ptr_node v); // no * v
284 void merge(ptr_node *u, ptr_node v); // no * v
285 void merge_unify(ptr_node *u, ptr_node v); // no * v
286 void show_count();
287 void fetch_def( ptr_psi_term u, long allflag);
288 void fetch_def_lazy(ptr_psi_term u, ptr_definition old1, ptr_definition old2, ptr_node old1attr, ptr_node old2attr, long old1stat, long old2stat);
289 long unify_aim_noeval();
290 long unify_aim();
291 long unify_body(long eval_flag);
292 long disjunct_aim();
293 long prove_aim();
294 void type_disj_aim();
295 long clause_aim(long r);
296 long no_choices();
297 long num_choices();
298 long num_vars(ptr_node vt);
299 long what_next_cut();
300 ptr_choice_point topmost_what_next();
301 void reset_stacks();
302 long what_next_aim();
303 long load_aim();
304 void main_prove();
305 int dummy_printf(char *f, char *s, char *t);
306 long trail_condition(psi_term *Q);
307
308
309 // from lub.c
310
311 ptr_int_list appendIntList(ptr_int_list tail,ptr_int_list more);
312 void mark_ancestors(ptr_definition def, long *flags);
313 ptr_int_list lub(ptr_psi_term a,ptr_psi_term b,ptr_psi_term *pp);
314
315
316 // from memory.c
317
318 char *GetStrOption(char *name,char *def);
319 int GetBoolOption(char *name);
320 int GetIntOption(char *name,int def);
321 void pchoices();
322 void print_undo_stack();
323 long bounds_undo_stack();
324 void fail_all();
325 void check_hash_table(ptr_hash_table table);
326 void check_definition(ptr_definition *d);
327 void check_definition_list();
328 void check_resid_block(ptr_resid_block *rb);
329 void check_psi_term(ptr_psi_term *t);
330 void check_attr(ptr_node *n);
331 void check_gamma_code();
332 void print_gc_info(long timeflag);
333 void garbage();
334 GENERIC heap_alloc(long s);
335 GENERIC stack_alloc(long s);
336 void init_memory ();
337 long memory_check ();
338
339
340
341 // from modules.c
342
343 void init_modules();
344 ptr_module find_module(char *module);
345 ptr_module create_module(char *module);
346 ptr_module set_current_module(ptr_module module);
347 ptr_module extract_module_from_name(char *str);
348 char *strip_module_name(char *str);
349 char *string_val(ptr_psi_term term);
350 char *make_module_token(ptr_module module,char *str);
351 ptr_definition new_definition(ptr_keyword key);
352 ptr_definition update_symbol(ptr_module module,char *symbol);
353 char *print_symbol(ptr_keyword k);
354 void pretty_symbol(ptr_keyword k);
355 void pretty_quote_symbol(ptr_keyword k);
356 long c_set_module();
357 long c_open_module();
358 void open_module_tree(ptr_node n,int *onefailed);
359 void open_module_one(ptr_psi_term t,int *onefailed);
360 long make_public(ptr_psi_term term,long bool);
361 void traverse_tree(ptr_node n,int flag);
362 long c_public();
363 long c_private();
364 long c_display_modules();
365 long c_display_persistent();
366 long c_trace_input();
367 void replace(ptr_definition old,ptr_definition new, ptr_psi_term term);
368 void rec_replace(ptr_definition old, ptr_definition new, ptr_psi_term term);
369 void replace_attr(ptr_node old_attr,ptr_psi_term term,ptr_definition old, ptr_definition new);
370 long c_replace();
371 long c_current_module();
372 long c_module_access();
373 int global_unify(ptr_psi_term u, ptr_psi_term v);
374 int global_unify_attr(ptr_node u, ptr_node v);
375 long c_alias();
376 int get_module(ptr_psi_term psi, ptr_module *module);
377 int make_feature_private(ptr_psi_term term);
378 long c_private_feature();
379 ptr_definition update_feature(ptr_module module, char *feature);
380 long all_public_symbols();
381 // from parser.c
382
383 int bad_psi_term(ptr_psi_term t);
384 void show(long limit);
385 void push(psi_term tok,long prec,long op);
386 long pop(ptr_psi_term tok,long *op);
387 long look();
388 long precedence(psi_term tok,long typ);
389 ptr_psi_term stack_copy_psi_term(psi_term t);
390 ptr_psi_term heap_copy_psi_term(psi_term t);
391 void feature_insert(char *keystr,ptr_node *tree,ptr_psi_term psi);
392 psi_term list_nil(ptr_definition type);
393 psi_term parse_list(ptr_definition typ, char e, char s);
394 psi_term read_psi_term();
395 psi_term make_life_form(ptr_psi_term tok, ptr_psi_term arg1,ptr_psi_term arg2);
396 void crunch(long prec,long limit);
397 psi_term read_life_form(char ch1, char ch2);
398 psi_term parse(long *q);
399 // from print.c
400
401 void init_print();
402 char *heap_nice_name();
403 GENERIC unique_name();
404 long str_to_int(char *s);
405 void print_bin(long b);
406 void print_code(FILE *s,ptr_int_list c);
407 void print_operator_kind(FILE *s,long kind);
408 void check_pointer(ptr_psi_term p);
409 void go_through_tree(ptr_node t);
410 void go_through(ptr_psi_term t);
411 void insert_variables(ptr_node vars,long force);
412 void forbid_variables(ptr_node n);
413 void prettyf_inner(char *s,long q,char c);
414 long starts_nonlower(char *s);
415 long has_non_alpha(char *s);
416 long all_symbol(char *s);
417 long is_integer(char *s);
418 long no_quote(char *s);
419 void prettyf(char *s);
420 void prettyf_quoted_string(char *s);
421 void prettyf_quote(char *s);
422 void end_tab();
423 void mark_tab(ptr_tab_brk t);
424 void new_tab(ptr_tab_brk *t);
425 long strpos(long pos,char *str);
426 void work_out_length();
427 long count_features(ptr_node t);
428 long check_legal_cons(ptr_psi_term t,ptr_definition t_type);
429 void pretty_list(ptr_psi_term t,long depth);
430 void pretty_tag_or_psi_term(ptr_psi_term p,long sprec,long depth);
431 long check_opargs(ptr_node n);
432 long opcheck(ptr_psi_term t,long *prec,long *type);
433 long pretty_psi_with_ops(ptr_psi_term t,long sprec,long depth);
434 void pretty_psi_term(ptr_psi_term t, long sprec, long depth);
435 void do_pretty_attr(ptr_node t,ptr_tab_brk tab,long *cnt,long two,long depth);
436 long two_or_more(ptr_node t);
437 void pretty_attr(ptr_node t,long depth);
438 void pretty_output();
439 void pretty_variables(ptr_node n,ptr_tab_brk tab);
440 long print_variables(long printflag);
441 void write_attributes(ptr_node n,ptr_tab_brk tab);
442 void listing_pred_write(ptr_node n,long fflag);
443 void pred_write(ptr_node n);
444 void main_pred_write(ptr_node n);
445 void display_psi_stdout(ptr_psi_term t);
446 void display_psi_stderr(ptr_psi_term t);
447 void display_psi_stream(ptr_psi_term t);
448 void display_psi(FILE *s,ptr_psi_term t);
449 void main_display_psi_term(ptr_psi_term t);
450 void display_couple(ptr_psi_term u,char *s,ptr_psi_term v);
451 void print_resid_message(ptr_psi_term t,ptr_resid_list r);
452 // from raw.c
453
454 #ifndef NORAW
455 long c_begin_raw ();
456 long c_get_raw ();
457 long c_put_raw ();
458 long c_end_raw ();
459 long c_in_raw ();
460 long c_window_flag ();
461 long c_reset_window_flag ();
462 void raw_setup_builtins ();
463 #endif
464 // from sys.c
465
466 long call_primitive(long (*fun)(),int num,psi_arg argi[],GENERIC info);
467 ptr_psi_term fileptr2stream(FILE *fp, ptr_definition typ); // removed * 2nd arg
468 int text_buffer_next(struct text_buffer *buf, int idx, char c, struct text_buffer **rbuf, int *ridx);
469 char* text_buffer_cmp(struct text_buffer *buf, int idx, char *str);
470 void text_buffer_push(struct text_buffer **buf, char c);
471 void text_buffer_free(struct text_buffer *buf);
472 int is_ipaddr( char *s);
473 void make_sys_type_links();
474 void check_sys_definitions();
475 void insert_sys_builtins();
476 // from sys_dbm.c
477
478 void insert_dbm_builtins();
479 // templates.c
480
481 long get_arg (ptr_psi_term g, ptr_psi_term *arg, char *number);
482 // from token.c
483
484 void TOKEN_ERROR(ptr_psi_term p);
485 void stdin_cleareof();
486 void heap_add_int_attr(ptr_psi_term t,char *attrname,long value);
487 void stack_add_int_attr(ptr_psi_term t,char *attrname,long value);
488 void heap_mod_int_attr(ptr_psi_term t,char *attrname,long value);
489 void heap_add_str_attr(ptr_psi_term t,char *attrname,char *str);
490 void stack_add_str_attr(ptr_psi_term t,char *attrname,char *str);
491 void heap_mod_str_attr(ptr_psi_term t,char *attrname,char *str);
492 void heap_add_psi_attr(ptr_psi_term t,char *attrname,ptr_psi_term g);
493 void stack_add_psi_attr(ptr_psi_term t,char *attrname,ptr_psi_term g);
494 void bk_stack_add_psi_attr(ptr_psi_term t,char *attrname,ptr_psi_term g);
495 GENERIC get_attr(ptr_psi_term t,char *attrname);
496 FILE *get_stream(ptr_psi_term t);
497 void save_state(ptr_psi_term t);
498 void restore_state(ptr_psi_term t);
499 void new_state(ptr_psi_term *t);
500 void save_parse_state(ptr_parse_block pb);
501 void restore_parse_state(ptr_parse_block pb);
502 void init_parse_state();
503 void begin_terminal_io();
504 void end_terminal_io();
505 char *expand_file_name(char *s);
506 long open_input_file(char *file);
507 long open_output_file(char *file);
508 long read_char();
509 void put_back_char(long c);
510 void put_back_token(psi_term t);
511 void psi_term_error();
512 void read_comment(ptr_psi_term tok);
513 void read_string_error(int n);
514 int base2int(int n);
515 void read_string(ptr_psi_term tok,long e);
516 long symbolic(long c);
517 long legal_in_name(long c);
518 void read_name(ptr_psi_term tok,long ch,long (*f)(),ptr_definition typ);
519 void read_number(ptr_psi_term tok,long c);
520 void read_token(ptr_psi_term tok);
521 void read_token_b(ptr_psi_term tok);
522 void read_token_main(ptr_psi_term tok,long for_parser);
523 long intcmp(long a,long b);
524 long is_int(char **s,long *len,long *sgn);
525 long featcmp(char *str1,char *str2);
526 char *heap_ncopy_string(char *s,int n);
527 char *heap_copy_string(char *s);
528 char *stack_copy_string(char *s);
529 ptr_node general_insert(long comp,char *keystr,ptr_node *tree,GENERIC info,long heapflag, long copystr,long bkflag);
530 void heap_insert_copystr(char *keystr,ptr_node *tree,GENERIC info);
531 void stack_insert_copystr(char *keystr,ptr_node *tree,GENERIC info);
532 ptr_node heap_insert(long comp,char *keystr,ptr_node *tree,GENERIC info);
533 ptr_node stack_insert(long comp,char *keystr,ptr_node *tree,GENERIC info);
534 ptr_node bk_stack_insert(long comp,char *keystr,ptr_node *tree,GENERIC info);
535 ptr_node bk2_stack_insert(long comp,char *keystr,ptr_node *tree,GENERIC info);
536 ptr_node find(long comp,char *keystr,ptr_node tree);
537 ptr_node find_data(GENERIC p,ptr_node t);
538 void delete_attr(char *s,ptr_node *n);
539 // from types.c
540
541 void print_def_type(def_type t);
542 long yes_or_no();
543 void remove_cycles(ptr_definition d,ptr_int_list *dl);
544 long redefine(ptr_psi_term t);
545 ptr_int_list cons(GENERIC v,ptr_int_list l);
546 long assert_less(ptr_psi_term t1, ptr_psi_term t2);
547 void assert_protected(ptr_node n,long prot);
548 void assert_args_not_eval(ptr_node n);
549 void assert_delay_check(ptr_node n);
550 void clear_already_loaded(ptr_node n);
551 void assert_type(ptr_psi_term t);
552 void assert_complicated_type(ptr_psi_term t);
553 void assert_attributes(ptr_psi_term t);
554 void find_adults();
555 void insert_own_prop(ptr_definition d);
556 void insert_prop(ptr_definition d,ptr_triple_list prop);
557 void propagate_definitions();
558 long count_sorts(long c0);
559 void clear_coding();
560 void least_sorts();
561 void all_sorts();
562 ptr_int_list two_to_the(long p);
563 ptr_int_list copyTypeCode(ptr_int_list u);
564 void or_codes(ptr_int_list u, ptr_int_list v);
565 void equalize_codes(int len);
566 void make_type_link(ptr_definition t1, ptr_definition t2);
567 long type_member(ptr_definition t,ptr_int_list tlst);
568 void perr_sort(ptr_definition d);
569 void perr_sort_list(ptr_int_list anc);
570 void perr_sort_cycle(ptr_int_list anc);
571 long type_cyclicity(ptr_definition d,ptr_int_list anc);
572 void propagate_always_check(ptr_definition d,long *ch);
573 void one_pass_always_check(long *ch);
574 void inherit_always_check();
575 void encode_types();
576 void print_codes();
577 long glb_value(long result,long f,GENERIC c,GENERIC value1,GENERIC value2, GENERIC *value);
578 long glb_code(long f1,GENERIC c1,long f2,GENERIC c2,long *f3,GENERIC *c3);
579 long glb(ptr_definition t1,ptr_definition t2,ptr_definition *t3,ptr_int_list *c3);
580 long overlap_type(ptr_definition t1,ptr_definition t2);
581 long sub_CodeType(ptr_int_list c1,ptr_int_list c2);
582 long sub_type(ptr_definition t1,ptr_definition t2);
583 long matches(ptr_definition t1,ptr_definition t2,long *smaller);
584 long strict_matches(ptr_psi_term t1,ptr_psi_term t2,long *smaller);
585 long bit_length(ptr_int_list c);
586 ptr_int_list decode(ptr_int_list c);
587
588 #if FALSE
589 // from xdisplaylist.c
590
591 extern ListHeader * x_display_list ();
592 extern void x_set_gc (Display *, GC,long,unsigned long,long,Font);
593 extern void x_record_line (ListHeader *,Action,long,long,long,long,unsigned long,unsigned long,unsigned long);
594 extern void x_record_arc (ListHeader *, Action, long,long,long,long,long,long,unsigned long, unsigned long, unsigned long);
595 extern void x_record_rectangle (ListHeader *, Action, long,long,long,long, unsigned long, unsigned long, unsigned long);
596 extern void x_record_string (ListHeader *, Action, long,long,char *,long,unsigned long,unsigned long);
597 extern void x_record_polygon (ListHeader *,Action,XPoint *,long,unsigned long,unsigned long,unsigned long);
598 extern void x_refresh_window (Display *, Window, Pixmap, GC, ListHeader *);
599 extern void x_free_display_list (ListHeader *);
600
601 #endif
602
603 // NEW
604 #ifdef X11
605 void raw_setup_builtins();
606 void interrupt();
607
608
609 ListHeader *x_display_list();
610 void x_set_gc (Display *display,GC gc,long function,unsigned long color,long linewidth,Font font);
611 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);
612 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);
613
614 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);
615
616 void x_record_polygon (ListHeader *displaylist,Action action,XPoint *points,long npoints,unsigned long function,unsigned long color,unsigned long linewidth);
617
618
619 void x_record_string (ListHeader *displaylist,Action action,long x,long y,char *str,Font font,unsigned long function,unsigned long color);
620
621
622 void x_refresh_window (Display *display,Window window,Pixmap pixmap,GC pixmapgc,ListHeader *displaylist);
623
624 void x_free_display_list (ListHeader *displaylist);
625
626 // from xpred.c
627 // NEXT Three changed 12/22/2016
628 // long list_is_nil(ptr_psi_term(lst));
629 // ptr_psi_term list_cdr(ptr_psi_term(lst));
630 // ptr_psi_term list_car(ptr_psi_term(lst));
631 // Changed to NEXT Three
632 long list_is_nil(ptr_psi_term lst);
633 ptr_psi_term list_cdr(ptr_psi_term lst);
634 ptr_psi_term list_car(ptr_psi_term lst);
635 void bk_stack_add_int_attr(ptr_psi_term t, char *attrname, long value);
636 void bk_change_psi_attr(ptr_psi_term t,char *attrname, ptr_psi_term value);
637 long unify_int_result(ptr_psi_term t, long v);
638 long GetIntAttr(ptr_psi_term psiTerm, char *attributeName);
639 ptr_psi_term GetPsiAttr( ptr_psi_term psiTerm,char *attributeName);
640 long xcOpenConnection();
641 long xcDefaultRootWindow();
642 long xcGetConnectionAttribute();
643 long xcGetScreenAttribute();
644 long xcCloseConnection();
645 long xcCreateSimpleWindow();
646 long xcSetStandardProperties();
647 long xcGetWindowGeometry();
648 long xcGetWindowAttribute();
649 long xcSetWindowGeometry();
650 long xcMoveWindow();
651 long xcSetWindowAttribute();
652 long xcMapWindow();
653 long xcRaiseWindow();
654 long xcUnmapWindow();
655 long xcMapSubwindows();
656 long xcUnmapSubwindows();
657 long xcClearWindow();
658 long xcResizeWindowPixmap();
659 long xcSelectInput();
660 long xcRefreshWindow();
661 long xcPostScriptWindow();
662 long xcDestroyWindow();
663 long xcCreateGC();
664 long xcGetGCAttribute();
665 long xcSetGCAttribute();
666 long xcDestroyGC();
667 long xcRequestColor();
668 long xcRequestNamedColor();
669 long xcFreeColor();
670 long xcDrawLine();
671 long xcDrawArc();
672 long xcDrawRectangle();
673 long xcFillRectangle();
674 long xcFillArc();
675 long xcPointsAlloc();
676 long xcCoordPut();
677 long xcPointsFree();
678 long xcDrawPolygon();
679 long xcFillPolygon();
680 long xcLoadFont();
681 long xcUnloadFont();
682 long xcDrawString();
683 long xcDrawImageString();
684 long xcStringWidth();
685 long xcSync();
686 // long list_is_nil(ptr_psi_term lst);
687 // ptr_psi_term list_cdr( ptr_psi_term lst);
688 // ptr_psi_term list_car(ptr_psi_term lst);
689 void list_set_car( ptr_psi_term lst, ptr_psi_term value);
690 void list_set_cdr(ptr_psi_term lst, ptr_psi_term value);
691 ptr_psi_term list_last_cdr( ptr_psi_term lst);
692 ptr_psi_term append_to_list(ptr_psi_term lst, ptr_psi_term value);
693 long map_funct_over_list(ptr_psi_term lst, long(*proc)(), long *closure);
694 long map_funct_over_cars(ptr_psi_term lst, long(*proc)(), long *closure);
695 void list_remove_value(ptr_psi_term lst, ptr_psi_term value);
696 long xcGetEvent();
697 long xcFlushEvents();
698 long xcQueryPointer();
699 void x_setup_builtins();
700 long x_read_stdin_or_event(long *ptreventflag);
701 long x_exist_event();
702 void x_destroy_window(Display *display,Window window);
703 void x_show_window(Display *display,long window);
704 void x_hide_window(Display *display, long window);
705 void x_show_subwindow(Display *display, long window);
706 void x_hide_subwindow(Display *display, long window);
707 long xcQueryTextExtents();
708 long x_postscript_window(Display *display,Window window,ListHeader *displaylist,char *filename);
709 #endif
710 ptr_goal GoalFromPsiTerm(ptr_psi_term psiTerm);
mark_quote_new
void mark_quote_new(ptr_psi_term t)
mark_quote_new
Definition: copy.c:626
list_special
void list_special(ptr_psi_term t)
list_special
Definition: built_ins.c:5131
hidden_type
long hidden_type(ptr_definition t)
hidden_type
Definition: built_ins.c:3672
xcPointsAlloc
long xcPointsAlloc()
xcPointsAlloc
Definition: xpred.c:2445
x_exist_event
long x_exist_event()
x_exist_event
Definition: xpred.c:3787
xcSync
long xcSync()
xcSync
Definition: xpred.c:2779
intcmp
long intcmp(long a, long b)
intcmp
Definition: trees.c:21
isSubTypeValue
int isSubTypeValue(ptr_psi_term arg1, ptr_psi_term arg2)
isSubTypeValue
Definition: bi_type.c:180
check_disj
void check_disj(ptr_psi_term t)
check_disj
Definition: lefun.c:910
opcheck
long opcheck(ptr_psi_term t, long *prec, long *type)
opcheck
Definition: print.c:913
mark_quote_c
void mark_quote_c(ptr_psi_term t, long heap_flag)
mark_quote_c
Definition: copy.c:434
persistent_tree
void persistent_tree(ptr_node n)
persistent_tree
Definition: built_ins.c:2739
f_check_out
long f_check_out(ptr_psi_term t)
f_check_out
Definition: lefun.c:1046
list_nil
psi_term list_nil(ptr_definition type)
list_nil
Definition: parser.c:278
hash_lookup
ptr_keyword hash_lookup(ptr_hash_table table, char *symbol)
HASH_LOOKUP.
Definition: hash_table.c:131
unify_bool_result
void unify_bool_result(ptr_psi_term t, long v)
unify_bool_result
Definition: built_ins.c:344
psi_term_error
void psi_term_error()
psi_term_error
Definition: token.c:761
string_val
char * string_val(ptr_psi_term term)
string_val
Definition: modules.c:169
trail_condition
long trail_condition(psi_term *Q)
trail_condition
Definition: login.c:2630
hash_expand
void hash_expand(ptr_hash_table table, int new_size)
HASH_EXPAND.
Definition: hash_table.c:47
report_warning2
void report_warning2(ptr_psi_term g, char *s)
report_warning2
Definition: error.c:938
print_undo_stack
void print_undo_stack()
print_undo_stack
Definition: memory.c:122
psi_to_string
long psi_to_string(ptr_psi_term t, char **fn)
psi_to_string
Definition: built_ins.c:146
c_halt
long c_halt()
c_halt
Definition: built_ins.c:2208
get_two_args
void get_two_args(ptr_node t, ptr_psi_term *a, ptr_psi_term *b)
get_two_args
Definition: login.c:47
init_trace
void init_trace()
init_trace
Definition: error.c:651
push_ptr_value
void push_ptr_value(type_ptr t, GENERIC *p)
push_ptr_value
Definition: login.c:383
glb_value
long glb_value(long result, long f, GENERIC c, GENERIC value1, GENERIC value2, GENERIC *value)
glb_value
Definition: types.c:1290
List_InsertAhead
void List_InsertAhead(RefListHeader header, Ref atom)
List_InsertAhead.
Definition: list.c:44
count_features
long count_features(ptr_node t)
count_features
Definition: print.c:690
open_output_file
long open_output_file(char *file)
undo
void undo(ptr_stack limit)
undo
Definition: login.c:691
xcCreateSimpleWindow
long xcCreateSimpleWindow()
xcCreateSimpleWindow
Definition: xpred.c:816
read_psi_term
psi_term read_psi_term()
read_psi_term
Definition: parser.c:421
makeGoal
ptr_goal makeGoal(ptr_psi_term p)
makeGoal
Definition: bi_sys.c:646
get_one_arg_addr
void get_one_arg_addr(ptr_node t, ptr_psi_term **a)
get_one_arg_addr
Definition: login.c:132
xcGetWindowGeometry
long xcGetWindowGeometry()
xcGetWindowGeometry
Definition: xpred.c:1087
insert_math_builtins
void insert_math_builtins()
insert math builtins into table
Definition: bi_math.c:1346
global_unify
int global_unify(ptr_psi_term u, ptr_psi_term v)
global_unify
Definition: modules.c:1053
make_life_form
psi_term make_life_form(ptr_psi_term tok, ptr_psi_term arg1, ptr_psi_term arg2)
make_life_form
Definition: parser.c:571
unitListNext
GENERIC unitListNext()
set unitListElement to NULL & return NULL
Definition: bi_sys.c:490
do_residuation
long do_residuation()
do_residuation
Definition: lefun.c:336
list_car
ptr_psi_term list_car(ptr_psi_term lst)
list_car
Definition: xpred.c:2963
interrupt
void interrupt()
INTERRUPT()
Definition: interrupt.c:21
perr
void perr(char *str)
perr
Definition: error.c:763
show
void show(long limit)
show
Definition: parser.c:64
main_display_psi_term
void main_display_psi_term(ptr_psi_term t)
main_display_psi_term
Definition: print.c:1593
xcDrawString
long xcDrawString()
xcDrawString
Definition: xpred.c:2657
garbage
void garbage()
garbage
Definition: memory.c:1530
strict_matches
long strict_matches(ptr_psi_term t1, ptr_psi_term t2, long *smaller)
strict_matches
Definition: types.c:1713
heap_add_str_attr
void heap_add_str_attr(ptr_psi_term t, char *attrname, char *str)
heap_add_str_attr
Definition: token.c:151
push2_ptr_value
void push2_ptr_value(type_ptr t, GENERIC *p, GENERIC v)
push2_ptr_value
Definition: login.c:573
put_back_char
void put_back_char(long c)
put_back_char
Definition: token.c:729
general_insert
ptr_node general_insert(long comp, char *keystr, ptr_node *tree, GENERIC info, long heapflag, long copystr, long bkflag)
ptr_node general_insert
Definition: trees.c:224
c_append_file
long c_append_file()
c_append_file
Definition: built_ins.c:5890
exact_copy
ptr_psi_term exact_copy(ptr_psi_term t, long heap_flag)
exact_copy
Definition: copy.c:176
residuate
void residuate(ptr_psi_term t)
residuate
Definition: lefun.c:125
listing_pred_write
void listing_pred_write(ptr_node n, long fflag)
listing_pred_write
Definition: print.c:1438
precedence
long precedence(psi_term tok, long typ)
precedence
Definition: parser.c:180
read_life_form
psi_term read_life_form(char ch1, char ch2)
read_life_form
Definition: parser.c:728
check_out
long check_out(ptr_psi_term t)
Definition: lefun.c:1083
read_token
void read_token(ptr_psi_term tok)
read_token
Definition: token.c:1186
unitListValue
ptr_psi_term unitListValue()
make psi term from unitListElement
Definition: bi_sys.c:479
xcRefreshWindow
long xcRefreshWindow()
xcRefreshWindow
Definition: xpred.c:1714
get_stream
FILE * get_stream(ptr_psi_term t)
get_stream
Definition: token.c:278
c_public
long c_public()
c_public
Definition: modules.c:687
do_residuation_user
long do_residuation_user()
do_residuation_user()
Definition: lefun.c:324
restore_resid
void restore_resid(ptr_resid_block rb, ptr_psi_term *match_date)
restore_resid
Definition: lefun.c:1417
wl_choice_point
Definition: def_struct.h:246
exit_if_true
void exit_if_true(long exitflag)
exit_if_true
Definition: lib.c:55
mark_quote_new2
void mark_quote_new2(ptr_psi_term t)
mark_quote_new2
Definition: copy.c:527
xcMoveWindow
long xcMoveWindow()
xcMoveWindow
Definition: xpred.c:1288
wl_hash_table
Definition: def_struct.h:136
WFGetString
char * WFGetString(ptr_psi_term psi, int *ok)
WFGetString.
Definition: lib.c:431
yes_or_no
long yes_or_no()
yes_or_no
Definition: types.c:50
report_warning
void report_warning(ptr_psi_term g, char *s)
report_warning
Definition: error.c:890
c_display_modules
long c_display_modules()
c_display_modules
Definition: modules.c:739
glb
long glb(ptr_definition t1, ptr_definition t2, ptr_definition *t3, ptr_int_list *c3)
glb
Definition: types.c:1481
List_EnumFrom
long List_EnumFrom(RefListHeader header, Ref atom, RefListEnumProc proc, Ref closure)
List_EnumFrom.
Definition: list.c:347
mark_quote_tree_c
void mark_quote_tree_c(ptr_node n, long heap_flag)
mark_quote_tree_c
Definition: copy.c:467
WFGetFeature
PsiTerm WFGetFeature(ptr_psi_term ps, char *feature)
WFGetFeature.
Definition: lib.c:457
x_record_arc
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)
x_record_arc
Definition: xdisplaylist.c:221
persistent_error_check
void persistent_error_check(ptr_node n, int *error)
persistent_error_check
Definition: built_ins.c:2714
bounds_undo_stack
long bounds_undo_stack()
bounds_undo_stack
Definition: memory.c:143
text_buffer_push
void text_buffer_push(struct text_buffer **buf, char c)
text_buffer_push
Definition: sys.c:961
list_last_cdr
ptr_psi_term list_last_cdr(ptr_psi_term lst)
list_last_cdr
Definition: xpred.c:3019
parse_list
psi_term parse_list(ptr_definition typ, char e, char s)
parse_list
Definition: parser.c:329
x_show_subwindow
void x_show_subwindow(Display *display, long window)
x_show_subwindow
Definition: xpred.c:3901
real_stack_psi_term
ptr_psi_term real_stack_psi_term(long stat, REAL thereal)
real_stack_psi_term
Definition: lefun.c:48
check_resid_block
void check_resid_block(ptr_resid_block *rb)
check_resid_block
Definition: memory.c:966
xcDrawArc
long xcDrawArc()
xcDrawArc
Definition: xpred.c:2291
c_end_raw
long c_end_raw()
text_buffer_next
int text_buffer_next(struct text_buffer *buf, int idx, char c, struct text_buffer **rbuf, int *ridx)
text_buffer_next
Definition: sys.c:907
push_choice_point
void push_choice_point(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c)
push_choice_point
Definition: login.c:638
push_goal
void push_goal(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c)
push_goal
Definition: login.c:600
create_module
ptr_module create_module(char *module)
ptr_module create_module(char *module)
Definition: modules.c:72
parse
psi_term parse(long *q)
parse
Definition: parser.c:907
bk_stack_insert
ptr_node bk_stack_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
bk_stack_insert
Definition: trees.c:357
clear_copy
void clear_copy()
clear_copy
Definition: copy.c:53
write_attributes
void write_attributes(ptr_node n, ptr_tab_brk tab)
write_attributes
Definition: print.c:1419
xcRequestNamedColor
long xcRequestNamedColor()
xcRequestNamedColor
Definition: xpred.c:2189
wl_goal
Definition: def_struct.h:237
unique_name
GENERIC unique_name()
unique_name
Definition: print.c:99
xcGetEvent
long xcGetEvent()
xcGetEvent
Definition: xpred.c:3146
main_pred_write
void main_pred_write(ptr_node n)
main_pred_write
Definition: print.c:1484
xcLoadFont
long xcLoadFont()
xcLoadFont
Definition: xpred.c:2596
xcSelectInput
long xcSelectInput()
xcSelectInput
Definition: xpred.c:1689
List_Concat
void List_Concat(RefListHeader header1, RefListHeader header2)
List_Concat.
Definition: list.c:308
legal_in_name
long legal_in_name(long c)
legal_in_name
Definition: token.c:980
is_ipaddr
int is_ipaddr(char *s)
is_ipaddr
Definition: sys.c:1333
make_public
long make_public(ptr_psi_term term, long bool)
make_public
Definition: modules.c:613
init_system
void init_system()
init_system
Definition: lib.c:83
heap_mod_str_attr
void heap_mod_str_attr(ptr_psi_term t, char *attrname, char *str)
heap_mod_str_attr
Definition: token.c:191
x_hide_subwindow
void x_hide_subwindow(Display *display, long window)
x_hide_subwindow
Definition: xpred.c:3915
intListValue
ptr_psi_term intListValue(ptr_int_list p)
ptr_psi_term intListValue
Definition: bi_sys.c:503
find_data
ptr_node find_data(GENERIC p, ptr_node t)
find_data
Definition: trees.c:452
reset_step
void reset_step()
reset_step
Definition: error.c:665
rec_replace
void rec_replace(ptr_definition old, ptr_definition new, ptr_psi_term term)
rec_replace
Definition: modules.c:865
inc_heap_copy
ptr_psi_term inc_heap_copy(ptr_psi_term t)
inc_heap_copy
Definition: copy.c:206
stack_add_str_attr
void stack_add_str_attr(ptr_psi_term t, char *attrname, char *str)
stack_add_str_attr
Definition: token.c:170
WFfeature_count_loop
int WFfeature_count_loop(ptr_node n)
WFfeature_count_loop.
Definition: lib.c:325
assert_type
void assert_type(ptr_psi_term t)
assert_type
Definition: types.c:372
pretty_attr
void pretty_attr(ptr_node t, long depth)
pretty_attr
Definition: print.c:1273
only_arg1
long only_arg1(ptr_psi_term t, ptr_psi_term *arg1)
only_arg1
Definition: built_ins.c:1605
check_real
long check_real(ptr_psi_term t, REAL *v, long *n)
check_real
Definition: built_ins.c:231
do_pretty_attr
void do_pretty_attr(ptr_node t, ptr_tab_brk tab, long *cnt, long two, long depth)
do_pretty_attr
Definition: print.c:1199
save_parse_state
void save_parse_state(ptr_parse_block pb)
save_parse_state
Definition: token.c:425
xcStringWidth
long xcStringWidth()
xcStringWidth
Definition: xpred.c:2741
TOKEN_ERROR
void TOKEN_ERROR(ptr_psi_term p)
TOKEN_ERROR.
Definition: token.c:38
c_string_length
long c_string_length()
c_string_length
Definition: built_ins.c:5726
read_string
void read_string(ptr_psi_term tok, long e)
read_string
Definition: token.c:859
two
char * two
Definition: def_glob.h:892
bit_length
long bit_length(ptr_int_list c)
bit_length
Definition: types.c:1753
merge_unify
void merge_unify(ptr_node *u, ptr_node v)
merge_unify
Definition: login.c:1146
global_tree
void global_tree(ptr_node n)
global_tree
Definition: built_ins.c:2631
heap_psi_term
ptr_psi_term heap_psi_term(long stat)
heap_psi_term
Definition: lefun.c:75
delete_attr
void delete_attr(char *s, ptr_node *n)
delete_attr
Definition: trees.c:522
decode
ptr_int_list decode(ptr_int_list c)
decode
Definition: types.c:1784
xcDrawRectangle
long xcDrawRectangle()
xcDrawRectangle
Definition: xpred.c:2330
stack_pair
ptr_psi_term stack_pair(ptr_psi_term left, ptr_psi_term right)
stack_pair
Definition: built_ins.c:69
display_psi
void display_psi(FILE *s, ptr_psi_term t)
display_psi
Definition: print.c:1579
push_ptr_value_global
void push_ptr_value_global(type_ptr t, GENERIC *p)
push_ptr_value_global
Definition: login.c:523
warningx
long warningx()
warningx
Definition: error.c:821
mark_quote
void mark_quote(ptr_psi_term t)
mark_quote
Definition: copy.c:674
heap_ncopy_string
char * heap_ncopy_string(char *s, int n)
heap_ncopy_string
Definition: trees.c:150
reportAndAbort
long reportAndAbort(ptr_psi_term g, char *s)
reportAndAbort
Definition: error.c:872
wl_module
Definition: def_struct.h:105
redefine
long redefine(ptr_psi_term t)
redefine
Definition: types.c:104
deref2_rec_eval
void deref2_rec_eval(ptr_psi_term t)
deref2_rec_eval
Definition: lefun.c:1382
push_psi_ptr_value
void push_psi_ptr_value(ptr_psi_term q, GENERIC *p)
push_psi_ptr_value
Definition: login.c:474
read_name
void read_name(ptr_psi_term tok, long ch, long(*f)(), ptr_definition typ)
c_module_access
long c_module_access()
c_module_access
Definition: modules.c:1008
makePsiTerm
ptr_psi_term makePsiTerm(ptr_definition x)
ptr_psi_term makePsiTerm
Definition: bi_sys.c:573
replace_attr
void replace_attr(ptr_node old_attr, ptr_psi_term term, ptr_definition old, ptr_definition new)
replace_attr
Definition: modules.c:898
c_concatenate
long c_concatenate()
c_concatenate
Definition: built_ins.c:5577
push
void push(psi_term tok, long prec, long op)
push
Definition: parser.c:107
WFInput
int WFInput(char *query)
WFInput.
Definition: lib.c:215
restore_parse_state
void restore_parse_state(ptr_parse_block pb)
restore_parse_state
Definition: token.c:444
c_isa_subsort
long c_isa_subsort()
long c_isa_subsort
Definition: bi_type.c:664
has_non_alpha
long has_non_alpha(char *s)
has_non_alpha
Definition: print.c:418
one_attr
ptr_node one_attr()
one_attr
Definition: built_ins.c:5042
display_psi_stream
void display_psi_stream(ptr_psi_term t)
display_psi_stream
Definition: print.c:1564
List_IsUnlink
long List_IsUnlink(RefListLinks links)
List_IsUnlink.
Definition: list.c:475
tracing
void tracing()
tracing
Definition: error.c:678
xcCoordPut
long xcCoordPut()
xcCoordPut
Definition: xpred.c:2471
x_show_window
void x_show_window(Display *display, long window)
x_show_window
Definition: xpred.c:3871
pretty_symbol
void pretty_symbol(ptr_keyword k)
pretty_symbol
Definition: modules.c:452
c_abort
long c_abort()
c_abort
Definition: built_ins.c:2247
unify_aim
long unify_aim()
unify_aim
Definition: login.c:1344
sub_str
char * sub_str(char *s, long p, long n)
sub_str
Definition: built_ins.c:5514
xcDrawLine
long xcDrawLine()
xcDrawLine
Definition: xpred.c:2253
hash_find
int hash_find(ptr_hash_table table, char *symbol)
hash_find
Definition: hash_table.c:106
text_buffer
Definition: def_struct.h:398
c_set_module
long c_set_module()
c_set_module
Definition: modules.c:488
prettyf_quoted_string
void prettyf_quoted_string(char *s)
prettyf_quoted_string
Definition: print.c:507
wl_psi_term
Definition: def_struct.h:177
distinct_tree
ptr_node distinct_tree(ptr_node t)
distinct_tree
Definition: copy.c:366
x_record_rectangle
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)
x_record_rectangle
Definition: xdisplaylist.c:255
stack_int
ptr_psi_term stack_int(long n)
stack_int
Definition: built_ins.c:91
List_EnumBackFrom
long List_EnumBackFrom(RefListHeader header, Ref atom, RefListEnumProc proc, Ref closure)
List_EnumBackFrom.
Definition: list.c:401
c_in_raw
long c_in_raw()
list_set_car
void list_set_car(ptr_psi_term lst, ptr_psi_term value)
list_set_car
Definition: xpred.c:2990
xcPointsFree
long xcPointsFree()
xcPointsFree
Definition: xpred.c:2500
or_codes
void or_codes(ptr_int_list u, ptr_int_list v)
or_codes
Definition: types.c:831
matches
long matches(ptr_definition t1, ptr_definition t2, long *smaller)
matches
Definition: types.c:1666
assert_protected
void assert_protected(ptr_node n, long prot)
assert_protected
Definition: types.c:255
fileptr2stream
ptr_psi_term fileptr2stream(FILE *fp, ptr_definition typ)
fileptr2stream
Definition: sys.c:688
replace
void replace(ptr_definition old, ptr_definition new, ptr_psi_term term)
replace
Definition: modules.c:851
wl_stack
Definition: def_struct.h:230
GetIntOption
int GetIntOption(char *name, int def)
GetIntOption.
Definition: memory.c:78
residuateGoalOnVar
long residuateGoalOnVar(ptr_goal g, ptr_psi_term var, ptr_psi_term othervar)
residuateGoalOnVar
Definition: lefun.c:192
wl_triple_list
Definition: def_struct.h:211
warning
long warning()
warning
Definition: error.c:810
xcDefaultRootWindow
long xcDefaultRootWindow()
xcDefaultRootWindow
Definition: xpred.c:529
pretty_output
void pretty_output()
pretty_output
Definition: print.c:1293
deref2_eval
void deref2_eval(ptr_psi_term t)
deref2_eval
Definition: lefun.c:1356
nonnum_warning
void nonnum_warning(ptr_psi_term t, ptr_psi_term arg1, ptr_psi_term arg2)
nonnum_warning
Definition: error.c:953
strip_module_name
char * strip_module_name(char *str)
strip_module_name
Definition: modules.c:144
toggle_step
void toggle_step()
toggle_step
Definition: error.c:747
feature_insert
void feature_insert(char *keystr, ptr_node *tree, ptr_psi_term psi)
feature_insert
Definition: parser.c:251
x_postscript_window
long x_postscript_window(Display *display, Window window, ListHeader *displaylist, char *filename)
x_postscript_window
Definition: xdisplaylist.c:839
wl_residuation
Definition: def_struct.h:168
append_resid
void append_resid(ptr_psi_term u, ptr_psi_term v)
append_resid
Definition: lefun.c:474
hash_create
ptr_hash_table hash_create(int size)
HASH_CREATE.
Definition: hash_table.c:25
get_one_arg
void get_one_arg(ptr_node t, ptr_psi_term *a)
get_one_arg
Definition: login.c:99
pred_clause
long pred_clause(ptr_psi_term t, long r, ptr_psi_term g)
pred_clause
Definition: built_ins.c:2451
bit_not_warning
long bit_not_warning(ptr_psi_term arg, REAL val)
bit_not_warning
Definition: error.c:1016
assert_complicated_type
void assert_complicated_type(ptr_psi_term t)
assert_complicated_type
Definition: types.c:405
starts_nonlower
long starts_nonlower(char *s)
starts_nonlower
Definition: print.c:406
unify_int_result
long unify_int_result(ptr_psi_term t, long v)
unify_int_result
Definition: xpred.c:271
xcGetScreenAttribute
long xcGetScreenAttribute()
xcGetScreenAttribute
Definition: xpred.c:752
wl_pair_list
Definition: def_struct.h:204
unify_aim_noeval
long unify_aim_noeval()
unify_aim_noeval
Definition: login.c:1354
perr_sort_cycle
void perr_sort_cycle(ptr_int_list anc)
perr_sort_cycle
Definition: types.c:959
perr_s
void perr_s(char *s1, char *s2)
perr_s
Definition: error.c:775
xcUnmapWindow
long xcUnmapWindow()
xcUnmapWindow
Definition: xpred.c:1549
display_psi_stdout
void display_psi_stdout(ptr_psi_term t)
display_psi_stdout
Definition: print.c:1536
curry
void curry()
curry
Definition: lefun.c:174
bk2_stack_insert
ptr_node bk2_stack_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
bk2_stack_insert
Definition: trees.c:377
eval_copy
ptr_psi_term eval_copy(ptr_psi_term t, long heap_flag)
eval_copy
Definition: copy.c:196
show_count
void show_count()
show_count
Definition: login.c:1161
PsiTerm
void * PsiTerm
Type for psi-terms, hidden from users.
Definition: def_struct.h:21
setUnitList
void setUnitList(GENERIC x)
setUnitList(GENERIC x)
Definition: bi_sys.c:468
init_built_in_types
void init_built_in_types()
init_built_in_types
Definition: built_ins.c:6155
backtrack
void backtrack()
backtrack
Definition: login.c:772
WFInit
void WFInit(long argc, char **argv)
make_sys_type_links
void make_sys_type_links()
make_sys_type_links
Definition: sys.c:2168
REAL
#define REAL
Which C type to use to represent reals and integers in Wild_Life.
Definition: def_const.h:132
GetPsiAttr
ptr_psi_term GetPsiAttr(ptr_psi_term psiTerm, char *attributeName)
GetPsiAttr.
Definition: xpred.c:367
no_choices
long no_choices()
no_choices
Definition: login.c:1945
report_error2
void report_error2(ptr_psi_term g, char *s)
report_error2
Definition: error.c:923
xcFillArc
long xcFillArc()
xcFillArc
Definition: xpred.c:2407
c_open_module
long c_open_module()
c_open_module
Definition: modules.c:519
mark_nonstrict
void mark_nonstrict(ptr_psi_term t)
mark_nonstrict
Definition: copy.c:513
read_token_main
void read_token_main(ptr_psi_term tok, long for_parser)
read_token_main
Definition: token.c:1207
append_to_list
ptr_psi_term append_to_list(ptr_psi_term lst, ptr_psi_term value)
append_to_list
Definition: xpred.c:3035
display_psi_stderr
void display_psi_stderr(ptr_psi_term t)
display_psi_stderr
Definition: print.c:1550
List_Append
void List_Append(RefListHeader header, Ref atom)
void List_Append
Definition: list.c:71
assert_less
long assert_less(ptr_psi_term t1, ptr_psi_term t2)
assert_less
Definition: types.c:200
perr_sort_list
void perr_sort_list(ptr_int_list anc)
perr_sort_list
Definition: types.c:944
eval_global_var
void eval_global_var(ptr_psi_term t)
eval_global_var
Definition: lefun.c:1440
overlap_type
long overlap_type(ptr_definition t1, ptr_definition t2)
overlap_type
Definition: types.c:1579
print_bin
void print_bin(long b)
print_bin
Definition: print.c:147
pretty_psi_term
void pretty_psi_term(ptr_psi_term t, long sprec, long depth)
pretty_psi_term
Definition: print.c:1058
put_back_token
void put_back_token(psi_term t)
put_back_token
Definition: token.c:746
xcQueryPointer
long xcQueryPointer()
xcQueryPointer
Definition: xpred.c:3322
xcRequestColor
long xcRequestColor()
xcRequestColor
Definition: xpred.c:2150
psi_arg
Definition: def_struct.h:363
insert_system_builtins
void insert_system_builtins()
insert_system_builtins
Definition: bi_sys.c:746
copy
ptr_psi_term copy(ptr_psi_term t, long copy_flag, long heap_flag)
copy
Definition: copy.c:248
xcDestroyWindow
long xcDestroyWindow()
xcDestroyWindow
Definition: xpred.c:1773
outfile
FILE * outfile
Definition: def_glob.h:974
update_symbol
ptr_definition update_symbol(ptr_module module, char *symbol)
update_symbol
Definition: modules.c:270
insert_own_prop
void insert_own_prop(ptr_definition d)
insert_own_prop
Definition: types.c:575
read_number
void read_number(ptr_psi_term tok, long c)
read_number
Definition: token.c:1110
perr_s2
void perr_s2(char *s1, char *s2, char *s3)
perr_s2
Definition: error.c:788
pop
long pop(ptr_psi_term tok, long *op)
pop
Definition: parser.c:132
heap_insert
ptr_node heap_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
heap_insert
Definition: trees.c:320
stack_cons
ptr_psi_term stack_cons(ptr_psi_term head, ptr_psi_term tail)
stack_cons
Definition: built_ins.c:46
get_module
int get_module(ptr_psi_term psi, ptr_module *module)
get_module
Definition: modules.c:1226
get_real_value
long get_real_value(ptr_psi_term t, REAL *v, long *n)
get_real_value
Definition: built_ins.c:261
print_symbol
char * print_symbol(ptr_keyword k)
print_symbol
Definition: modules.c:435
two_to_the
ptr_int_list two_to_the(long p)
two_to_the
Definition: types.c:776
stack_add_psi_attr
void stack_add_psi_attr(ptr_psi_term t, char *attrname, ptr_psi_term g)
stack_add_psi_attr
Definition: token.c:239
hash_display
void hash_display(ptr_hash_table table)
HASH_DISPLAY.
Definition: hash_table.c:174
xcDrawPolygon
long xcDrawPolygon()
xcDrawPolygon
Definition: xpred.c:2523
init_io
void init_io()
void init_io
Definition: lib.c:69
release_resid
void release_resid(ptr_psi_term t)
release_resid
Definition: lefun.c:445
mark_eval_tree_new
void mark_eval_tree_new(ptr_node n)
mark_eval_tree_new
Definition: copy.c:611
heap_add_int_attr
void heap_add_int_attr(ptr_psi_term t, char *attrname, long value)
heap_add_int_attr
Definition: token.c:74
c_lub
long c_lub()
long c_lub
Definition: bi_type.c:773
insert_prop
void insert_prop(ptr_definition d, ptr_triple_list prop)
insert_prop
Definition: types.c:620
str_conc
char * str_conc(char *s1, char *s2)
str_conc
Definition: built_ins.c:5496
pretty_list
void pretty_list(ptr_psi_term t, long depth)
pretty_list
Definition: print.c:734
deref_rec_body
void deref_rec_body(ptr_psi_term t)
deref_rec_body
Definition: lefun.c:1243
deref_rec_args
void deref_rec_args(ptr_node n)
deref_rec_args
Definition: lefun.c:1272
sub_type
long sub_type(ptr_definition t1, ptr_definition t2)
sub_type
Definition: types.c:1642
traceline
void traceline(char *format,...)
traceline
Definition: error.c:186
wl_ListLinks
Definition: def_struct.h:300
wl_int_list
Definition: def_struct.h:84
x_record_polygon
void x_record_polygon(ListHeader *displaylist, Action action, XPoint *points, long npoints, unsigned long function, unsigned long color, unsigned long linewidth)
x_record_polygon
Definition: xdisplaylist.c:285
List_Swap
void List_Swap(RefListHeader header, Ref first, Ref second)
List_Swap.
Definition: list.c:172
xcMapWindow
long xcMapWindow()
xcMapWindow
Definition: xpred.c:1494
fetch_def
void fetch_def(ptr_psi_term u, long allflag)
fetch_def
Definition: login.c:1208
new_psi_term
ptr_psi_term new_psi_term(long numargs, ptr_definition typ, ptr_psi_term **a1, ptr_psi_term **a2)
new_psi_term
Definition: built_ins.c:5064
c_reset_window_flag
long c_reset_window_flag()
end_tab
void end_tab()
end_tab
Definition: print.c:554
c_display_persistent
long c_display_persistent()
c_display_persistent
Definition: modules.c:775
fetch_def_lazy
void fetch_def_lazy(ptr_psi_term u, ptr_definition old1, ptr_definition old2, ptr_node old1attr, ptr_node old2attr, long old1stat, long old2stat)
fetch_def_lazy
Definition: login.c:1276
WFType
char * WFType(ptr_psi_term psi)
WFType.
Definition: lib.c:364
check_hash_table
void check_hash_table(ptr_hash_table table)
check_hash_table
Definition: memory.c:626
distinct_copy
ptr_psi_term distinct_copy(ptr_psi_term t)
distinct_copy
Definition: copy.c:393
eval_args
long eval_args(ptr_node n)
eval_args
Definition: lefun.c:889
match_attr
void match_attr(ptr_node *u, ptr_node v, ptr_resid_block rb)
match_attr
Definition: lefun.c:752
RefListGetLinksProc
RefListLinks(* RefListGetLinksProc)()
Definition: def_struct.h:275
Errorline
void Errorline(char *format,...)
Errorline.
Definition: error.c:465
pretty_quote_symbol
void pretty_quote_symbol(ptr_keyword k)
pretty_quote_symbol
Definition: modules.c:470
GENERIC
unsigned long * GENERIC
unsigned long *GENERIC
Definition: def_struct.h:35
xcDestroyGC
long xcDestroyGC()
xcDestroyGC
Definition: xpred.c:2126
type_disj_aim
void type_disj_aim()
type_disj_aim
Definition: login.c:1845
xcFreeColor
long xcFreeColor()
xcFreeColor
Definition: xpred.c:2225
assert_delay_check
void assert_delay_check(ptr_node n)
assert_delay_check
Definition: types.c:326
WFFeatureCount
int WFFeatureCount(ptr_psi_term psi)
WFFeatureCount.
Definition: lib.c:346
is_int
long is_int(char **s, long *len, long *sgn)
is_int
Definition: trees.c:41
cons
ptr_int_list cons(GENERIC v, ptr_int_list l)
cons
Definition: types.c:179
end_terminal_io
void end_terminal_io()
end_terminal_io
Definition: token.c:516
forbid_variables
void forbid_variables(ptr_node n)
Definition: print.c:334
stack_add_int_attr
void stack_add_int_attr(ptr_psi_term t, char *attrname, long value)
stack_add_int_attr
Definition: token.c:94
stack_nil
ptr_psi_term stack_nil()
stack_nil
Definition: built_ins.c:26
one_pass_always_check
void one_pass_always_check(long *ch)
one_pass_always_check
Definition: types.c:1049
get_arg
long get_arg(ptr_psi_term g, ptr_psi_term *arg, char *number)
get_arg
Definition: templates.c:25
print_gc_info
void print_gc_info(long timeflag)
print_gc_info
Definition: memory.c:1493
makePsiList
ptr_psi_term makePsiList(GENERIC head, ptr_psi_term(*valueFunc)(), GENERIC(*nextFunc)())
makePsiList
Definition: bi_sys.c:590
List_Reverse
void List_Reverse(RefListHeader header)
List_Reverse.
Definition: list.c:230
bk_stack_add_psi_attr
void bk_stack_add_psi_attr(ptr_psi_term t, char *attrname, ptr_psi_term g)
bk_stack_add_psi_attr
Definition: token.c:252
x_read_stdin_or_event
long x_read_stdin_or_event(long *ptreventflag)
x_read_stdin_or_event
Definition: xpred.c:3578
residuate2
void residuate2(ptr_psi_term u, ptr_psi_term v)
residuate2
Definition: lefun.c:144
stack_insert
ptr_node stack_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
stack_insert
Definition: trees.c:337
set_trace_to_prove
void set_trace_to_prove()
set_trace_to_prove
Definition: error.c:727
infoline
void infoline(char *format,...)
infoline
Definition: error.c:281
hash_code
int hash_code(ptr_hash_table table, char *symbol)
HASH_CODE.
Definition: hash_table.c:79
x_set_gc
void x_set_gc(Display *display, GC gc, long function, unsigned long color, long linewidth, Font font)
x_set_gc
Definition: xdisplaylist.c:142
heap_copy_string
char * heap_copy_string(char *s)
heap_copy_string
Definition: trees.c:172
wl_tab_brk
Definition: def_struct.h:309
print_resid_message
void print_resid_message(ptr_psi_term t, ptr_resid_list r)
print_resid_message
Definition: print.c:1690
print_codes
void print_codes()
print_codes
Definition: types.c:1256
count_sorts
long count_sorts(long c0)
count_sorts
Definition: types.c:710
c_args
long c_args()
c_args
Definition: built_ins.c:6123
c_tprove
long c_tprove()
c_tprove
Definition: bi_sys.c:81
prettyf_inner
void prettyf_inner(char *s, long q, char c)
prettyf_inner
Definition: print.c:374
print_code
void print_code(FILE *s, ptr_int_list c)
print_code
Definition: print.c:167
do_currying
void do_currying()
do_currying
Definition: lefun.c:383
xcSetGCAttribute
long xcSetGCAttribute()
xcSetGCAttribute
Definition: xpred.c:2094
global_one
void global_one(ptr_psi_term t)
global_one
Definition: built_ins.c:2651
insert_sys_builtins
void insert_sys_builtins()
insert_sys_builtins
Definition: sys.c:2209
insert_type_builtins
void insert_type_builtins()
void insert_type_builtins
Definition: bi_type.c:817
goals
long goals
int - formerly enum
Definition: def_struct.h:49
xcGetWindowAttribute
long xcGetWindowAttribute()
xcGetWindowAttribute
Definition: xpred.c:1221
load_aim
long load_aim()
load_aim
Definition: login.c:2232
hash_insert
void hash_insert(ptr_hash_table table, char *symbol, ptr_keyword keyword)
HASH_INSERT.
Definition: hash_table.c:151
assert_attributes
void assert_attributes(ptr_psi_term t)
assert_attributes
Definition: types.c:500
begin_terminal_io
void begin_terminal_io()
begin_terminal_io
Definition: token.c:493
perr_sort
void perr_sort(ptr_definition d)
perr_sort
Definition: types.c:933
Syntaxerrorline
void Syntaxerrorline(char *format,...)
Syntaxerrorline.
Definition: error.c:557
wl_parse_block
Definition: def_struct.h:371
init_copy
void init_copy()
init_copy
Definition: copy.c:32
work_out_length
void work_out_length()
work_out_length
Definition: print.c:626
nonint_warning
long nonint_warning(ptr_psi_term arg, REAL val, char *msg)
nonint_warning
Definition: error.c:974
name
char * name
Definition: def_glob.h:966
release_resid_main
void release_resid_main(ptr_psi_term t, long trailflag)
release_resid_main
Definition: lefun.c:411
display_couple
void display_couple(ptr_psi_term u, char *s, ptr_psi_term v)
display_couple
Definition: print.c:1643
check_gamma_code
void check_gamma_code()
check_gamma_code
Definition: memory.c:1079
print_def_type
void print_def_type(def_type t)
print_def_type
Definition: types.c:24
check_pointer
void check_pointer(ptr_psi_term p)
check_pointer
Definition: print.c:233
call_primitive
long call_primitive(long(*fun)(), int num, psi_arg argi[], GENERIC info)
call_primitive
Definition: sys.c:24
crunch
void crunch(long prec, long limit)
crunch
Definition: parser.c:662
declare_operator
long declare_operator(ptr_psi_term t)
declare_operator
Definition: built_ins.c:5436
quotedStackCopy
ptr_psi_term quotedStackCopy(psi_term p)
Definition: bi_sys.c:528
residuate_double
void residuate_double(ptr_psi_term t, ptr_psi_term u)
residuate_double
Definition: lefun.c:107
make_type_link
void make_type_link(ptr_definition t1, ptr_definition t2)
make_type_link
Definition: types.c:901
num_vars
long num_vars(ptr_node vt)
num_vars
Definition: login.c:1976
c_random
long c_random()
c_random
Definition: built_ins.c:5966
what_next_cut
long what_next_cut()
what_next_cut
Definition: login.c:1987
prove_aim
long prove_aim()
prove_aim
Definition: login.c:1645
least_sorts
void least_sorts()
void least_sorts()
Definition: types.c:743
no_quote
long no_quote(char *s)
no_quote
Definition: print.c:470
start_chrono
void start_chrono()
start_chrono
Definition: login.c:349
init_global_vars
void init_global_vars()
init_global_vars
Definition: lefun.c:1484
release_resid_notrail
void release_resid_notrail(ptr_psi_term t)
release_resid_notrail
Definition: lefun.c:456
pretty_tag_or_psi_term
void pretty_tag_or_psi_term(ptr_psi_term p, long sprec, long depth)
pretty_tag_or_psi_term
Definition: print.c:834
abort_life
long abort_life(int nlflag)
abort_life
Definition: built_ins.c:2259
insert_variables
void insert_variables(ptr_node vars, long force)
insert_variables
Definition: print.c:308
xcSetWindowGeometry
long xcSetWindowGeometry()
xcSetWindowGeometry
Definition: xpred.c:1257
fail_all
void fail_all()
fail_all
Definition: memory.c:189
wl_resid_list
Definition: def_struct.h:94
merge
void merge(ptr_node *u, ptr_node v)
merge
Definition: login.c:1131
c_put_raw
long c_put_raw()
push_def_ptr_value
void push_def_ptr_value(ptr_psi_term q, GENERIC *p)
push_def_ptr_value
Definition: login.c:416
lub
ptr_int_list lub(ptr_psi_term a, ptr_psi_term b, ptr_psi_term *pp)
Definition: lub.c:173
xcCreateGC
long xcCreateGC()
xcCreateGC
Definition: xpred.c:1810
exit_life
void exit_life(long nl_flag)
exit_life
Definition: built_ins.c:2219
pretty_variables
void pretty_variables(ptr_node n, ptr_tab_brk tab)
pretty_variables
Definition: print.c:1318
merge2
void merge2(ptr_node *u, ptr_node v)
merge2
Definition: login.c:949
c_initrandom
long c_initrandom()
c_initrandom
Definition: built_ins.c:6032
heap_copy_psi_term
ptr_psi_term heap_copy_psi_term(psi_term t)
heap_copy_psi_term
Definition: parser.c:226
init_print
void init_print()
init_print
Definition: print.c:52
match_attr3
void match_attr3(ptr_node *u, ptr_node v, ptr_resid_block rb)
match_attr3
Definition: lefun.c:700
list_set_cdr
void list_set_cdr(ptr_psi_term lst, ptr_psi_term value)
list_set_cdr
Definition: xpred.c:3005
map_funct_over_list
long map_funct_over_list(ptr_psi_term lst, long(*proc)(), long *closure)
map_funct_over_list
Definition: xpred.c:3056
insert_translation
void insert_translation(ptr_psi_term a, ptr_psi_term b, long info)
insert_translation
Definition: copy.c:67
wl_keyword
Definition: def_struct.h:116
init_memory
void init_memory()
init_memory ()
Definition: memory.c:1671
stack_psi_term
ptr_psi_term stack_psi_term(long stat)
stack_psi_term
Definition: lefun.c:21
heap_insert_copystr
void heap_insert_copystr(char *keystr, ptr_node *tree, GENERIC info)
heap_insert_copystr
Definition: trees.c:284
propagate_definitions
void propagate_definitions()
propagate_definitions
Definition: types.c:662
deref_rec_eval
long deref_rec_eval(ptr_psi_term t)
deref_rec_eval
Definition: lefun.c:1226
x_hide_window
void x_hide_window(Display *display, long window)
x_hide_window
Definition: xpred.c:3885
clause_aim
long clause_aim(long r)
clause_aim
Definition: login.c:1879
expand_file_name
char * expand_file_name(char *s)
expand_file_name
Definition: token.c:537
new_definition
ptr_definition new_definition(ptr_keyword key)
new_definition
Definition: modules.c:220
toggle_trace
void toggle_trace()
toggle_trace
Definition: error.c:737
heap_nice_name
char * heap_nice_name()
heap_nice_name
Definition: print.c:63
extract_module_from_name
ptr_module extract_module_from_name(char *str)
extract_module_from_name
Definition: modules.c:116
report_error
void report_error(ptr_psi_term g, char *s)
report_error
Definition: error.c:856
c_current_module
long c_current_module()
c_current_module
Definition: modules.c:974
check_type
long check_type(ptr_psi_term t)
check_type
Definition: lefun.c:990
map_funct_over_cars
long map_funct_over_cars(ptr_psi_term lst, long(*proc)(), long *closure)
map_funct_over_cars
Definition: xpred.c:3078
shift_warning
long shift_warning(long dir, ptr_psi_term arg, REAL val)
shift_warning
Definition: error.c:1061
init_parse_state
void init_parse_state()
init_parse_state
Definition: token.c:464
pred_write
void pred_write(ptr_node n)
pred_write
Definition: print.c:1469
residListGoalQuote
ptr_psi_term residListGoalQuote(ptr_residuation p)
residListGoalQuote
Definition: bi_sys.c:546
residuate3
void residuate3(ptr_psi_term u, ptr_psi_term v, ptr_psi_term w)
residuate3
Definition: lefun.c:159
xcOpenConnection
long xcOpenConnection()
xcOpenConnection
Definition: xpred.c:485
List_SetLinkProc
void List_SetLinkProc(RefListHeader header, RefListGetLinksProc getLinks)
List_SetLinkProc.
Definition: list.c:24
wl_resid_block
Definition: def_struct.h:261
file_exists
long file_exists(char *s)
file_exists
Definition: built_ins.c:1711
report_error2_main
void report_error2_main(ptr_psi_term g, char *s, char *s2)
report_error2_main
Definition: error.c:904
symbolic
long symbolic(long c)
symbolic
Definition: token.c:967
GetStrOption
char * GetStrOption(char *name, char *def)
GetStrOption.
Definition: memory.c:41
all_symbol
long all_symbol(char *s)
all_symbol
Definition: print.c:434
reset_stacks
void reset_stacks()
reset_stacks
Definition: login.c:2047
c_glb
long c_glb()
long c_glb
Definition: bi_type.c:709
clean_undo_window
void clean_undo_window(long disp, long wind)
clean_undo_window
Definition: login.c:848
insert_dbm_builtins
void insert_dbm_builtins()
find_adults
void find_adults()
find_adults
Definition: types.c:549
c_private_feature
long c_private_feature()
c_private_feature
Definition: modules.c:1302
type_member
long type_member(ptr_definition t, ptr_int_list tlst)
type_member
Definition: types.c:918
bit_or_warning
long bit_or_warning(ptr_psi_term arg, REAL val)
bit_or_warning
Definition: error.c:1004
strpos
long strpos(long pos, char *str)
strpos
Definition: print.c:608
xcDrawImageString
long xcDrawImageString()
xcDrawImageString
Definition: xpred.c:2699
read_comment
void read_comment(ptr_psi_term tok)
read_comment
Definition: token.c:779
find
ptr_node find(long comp, char *keystr, ptr_node tree)
find
Definition: trees.c:394
group_features
char ** group_features(char **f, ptr_node n)
group_features
Definition: lib.c:34
xcCloseConnection
long xcCloseConnection()
xcCloseConnection
Definition: xpred.c:787
dummy_printf
int dummy_printf(char *f, char *s, char *t)
dummy_printf
Definition: login.c:2617
xcFillPolygon
long xcFillPolygon()
xcFillPolygon
Definition: xpred.c:2558
eval_aim
long eval_aim()
eval_aim
Definition: lefun.c:497
match_attr1
void match_attr1(ptr_node *u, ptr_node v, ptr_resid_block rb)
void match_attr1
Definition: lefun.c:599
save_resid
void save_resid(ptr_resid_block rb, ptr_psi_term match_date)
save_resid
Definition: lefun.c:1398
x_record_string
void x_record_string(ListHeader *displaylist, Action action, long x, long y, char *str, Font font, unsigned long function, unsigned long color)
x_record_string
Definition: xdisplaylist.c:318
stack_copy_psi_term
ptr_psi_term stack_copy_psi_term(psi_term t)
stack_copy_psi_term
Definition: parser.c:205
featcmp
long featcmp(char *str1, char *str2)
featcmp
Definition: trees.c:106
bk_change_psi_attr
void bk_change_psi_attr(ptr_psi_term t, char *attrname, ptr_psi_term value)
bk_change_psi_attr
Definition: xpred.c:240
mark_eval
void mark_eval(ptr_psi_term t)
mark_eval
Definition: copy.c:498
deref_rec_args_exc
void deref_rec_args_exc(ptr_node n, long set)
deref_rec_args_exc
Definition: lefun.c:1332
restore_state
void restore_state(ptr_psi_term t)
restore_state
Definition: token.c:334
xcGetGCAttribute
long xcGetGCAttribute()
xcGetGCAttribute
Definition: xpred.c:1942
outputline
void outputline(char *format,...)
void outputline(char *format,...)
Definition: error.c:101
base2int
int base2int(int n)
base2int
Definition: token.c:816
c_trace_input
long c_trace_input()
c_trace_input
Definition: modules.c:810
str_to_int
long str_to_int(char *s)
str_to_int
Definition: print.c:118
unify_real_result
long unify_real_result(ptr_psi_term t, REAL v)
unify_real_result
Definition: built_ins.c:386
wl_definition
Definition: def_struct.h:145
xcUnmapSubwindows
long xcUnmapSubwindows()
xcUnmapSubwindows
Definition: xpred.c:1604
push_window
void push_window(long type, long disp, long wind)
push_window
Definition: login.c:548
c_alias
long c_alias()
c_alias
Definition: modules.c:1180
prettyf
void prettyf(char *s)
prettyf
Definition: print.c:496
encode_types
void encode_types()
encode_types
Definition: types.c:1091
deref_eval
long deref_eval(ptr_psi_term t)
deref_eval
Definition: lefun.c:1180
merge3
void merge3(ptr_node *u, ptr_node v)
merge3
Definition: login.c:1004
check_definition
void check_definition(ptr_definition *d)
check_definition
Definition: memory.c:663
copyTypeCode
ptr_int_list copyTypeCode(ptr_int_list u)
copyTypeCode
Definition: types.c:808
main
int main(int argc, char *argv[])
main
Definition: life.c:34
list_is_nil
long list_is_nil(ptr_psi_term lst)
Definition: xpred.c:2923
List_Cut
void List_Cut(RefListHeader header, Ref atom, RefListHeader newHeader)
List_Cut.
Definition: list.c:488
xcFillRectangle
long xcFillRectangle()
xcFillRectangle
Definition: xpred.c:2368
propagate_always_check
void propagate_always_check(ptr_definition d, long *ch)
propagate_always_check
Definition: types.c:1022
i_eval_args
long i_eval_args(ptr_node n)
i_eval_args
Definition: lefun.c:874
List_InsertBefore
void List_InsertBefore(RefListHeader header, Ref atom, Ref mark)
List_InsertBefore.
Definition: list.c:101
residListNext
GENERIC residListNext(ptr_residuation p)
residListNext
Definition: bi_sys.c:562
xcGetConnectionAttribute
long xcGetConnectionAttribute()
xcGetConnectionAttribute
Definition: xpred.c:641
clear_already_loaded
void clear_already_loaded(ptr_node n)
clear_already_loaded
Definition: types.c:351
is_integer
long is_integer(char *s)
is_integer
Definition: print.c:450
List_EnumBack
long List_EnumBack(RefListHeader header, RefListEnumProc proc, Ref closure)
List_EnumBack.
Definition: list.c:433
isValue
long isValue(ptr_psi_term p)
isValue(p)
Definition: bi_type.c:694
main_prove
void main_prove()
main_prove
Definition: login.c:2333
deref_args_eval
long deref_args_eval(ptr_psi_term t, long set)
deref_args_eval
Definition: lefun.c:1294
x_free_display_list
void x_free_display_list(ListHeader *displaylist)
x_free_display_list
Definition: xdisplaylist.c:548
quote_copy
ptr_psi_term quote_copy(ptr_psi_term t, long heap_flag)
quote_copy
Definition: copy.c:186
new_state
void new_state(ptr_psi_term *t)
new_state
Definition: token.c:372
c_quiet
long c_quiet()
c_quiet
Definition: bi_sys.c:186
topmost_what_next
ptr_choice_point topmost_what_next()
topmost_what_next
Definition: login.c:2026
mark_ancestors
void mark_ancestors(ptr_definition def, long *flags)
mark_ancestors
Definition: lub.c:60
make_module_token
char * make_module_token(ptr_module module, char *str)
make_module_token
Definition: modules.c:191
handle_interrupt
void handle_interrupt()
HANDLE_INTERRUPT.
Definition: interrupt.c:52
read_token_b
void read_token_b(ptr_psi_term tok)
read_token_b
Definition: token.c:1197
raw_setup_builtins
void raw_setup_builtins()
raw_setup_builtins
Definition: raw.c:303
xcResizeWindowPixmap
long xcResizeWindowPixmap()
xcResizeWindowPixmap
Definition: xpred.c:1661
save_state
void save_state(ptr_psi_term t)
save_state
Definition: token.c:293
bk_stack_add_int_attr
void bk_stack_add_int_attr(ptr_psi_term t, char *attrname, long value)
bk_stack_add_int_attr
Definition: xpred.c:206
stack_info
void stack_info(FILE *outfile)
stack_info
Definition: error.c:77
go_through
void go_through(ptr_psi_term t)
go_through
Definition: print.c:282
x_setup_builtins
void x_setup_builtins()
x_setup_builtins
Definition: xpred.c:3374
new_built_in
void new_built_in(ptr_module m, char *s, def_type t, long(*r)())
new_built_in
Definition: built_ins.c:5375
check_func
void check_func(ptr_psi_term t)
check_func
Definition: lefun.c:928
sub_CodeType
long sub_CodeType(ptr_int_list c1, ptr_int_list c2)
sub_CodeType
Definition: types.c:1618
c_private
long c_private()
c_private
Definition: modules.c:714
wl_ListHeader
Definition: def_struct.h:291
print_variables
long print_variables(long printflag)
print_variables
Definition: print.c:1368
mark_quote_tree
void mark_quote_tree(ptr_node t)
mark_quote_tree
Definition: copy.c:692
List_Enum
long List_Enum(RefListHeader header, RefListEnumProc proc, Ref closure)
List_Enum.
Definition: list.c:379
read_char
long read_char()
read_char
Definition: token.c:680
global_error_check
void global_error_check(ptr_node n, int *error, int *eval2)
global_error_check
Definition: built_ins.c:2591
list_cdr
ptr_psi_term list_cdr(ptr_psi_term lst)
list_cdr
Definition: xpred.c:2936
c_deref_length
long c_deref_length()
c_deref_length
Definition: built_ins.c:6087
mod_warning
long mod_warning(ptr_psi_term arg, REAL val, int zero)
mod_warning
Definition: error.c:1041
translate
ptr_psi_term translate(ptr_psi_term a, long **infoptr)
translate
Definition: copy.c:108
new_step
void new_step(long newstep)
new_step
Definition: error.c:713
c_replace
long c_replace()
c_replace
Definition: modules.c:936
report_error_main
void report_error_main(ptr_psi_term g, char *s, char *s2)
report_error_main
Definition: error.c:836
text_buffer_free
void text_buffer_free(struct text_buffer *buf)
text_buffer_free
Definition: sys.c:986
WFGetDouble
double WFGetDouble(ptr_psi_term psi, int *ok)
WFGetDouble.
Definition: lib.c:405
xcRaiseWindow
long xcRaiseWindow()
xcRaiseWindow
Definition: xpred.c:1522
xcPostScriptWindow
long xcPostScriptWindow()
xcPostScriptWindow
Definition: xpred.c:1749
undo_actions
void undo_actions()
undo_actions
Definition: login.c:736
glb_code
long glb_code(long f1, GENERIC c1, long f2, GENERIC c2, long *f3, GENERIC *c3)
glb_code
Definition: types.c:1351
mark_tab
void mark_tab(ptr_tab_brk t)
mark_tab
Definition: print.c:573
RefListEnumProc
int(* RefListEnumProc)()
Definition: def_struct.h:276
text_buffer_cmp
char * text_buffer_cmp(struct text_buffer *buf, int idx, char *str)
text_buffer_cmp
Definition: sys.c:934
inherit_always_check
void inherit_always_check()
inherit_always_check
Definition: types.c:1068
c_get_raw
long c_get_raw()
check_psi_term
void check_psi_term(ptr_psi_term *t)
check_psi_term
Definition: memory.c:988
assert_rule
void assert_rule(psi_term t, def_type typ)
assert_rule
Definition: login.c:257
get_attr
GENERIC get_attr(ptr_psi_term t, char *attrname)
get_attr
Definition: token.c:265
open_module_tree
void open_module_tree(ptr_node n, int *onefailed)
open_module_tree
Definition: modules.c:542
update_feature
ptr_definition update_feature(ptr_module module, char *feature)
update_feature
Definition: modules.c:1331
look
long look()
look
Definition: parser.c:163
add_rule
void add_rule(ptr_psi_term head, ptr_psi_term body, def_type typ)
add_rule
Definition: login.c:167
type_ptr
long type_ptr
Used to identify the object on the undo_stack.
Definition: def_struct.h:12
stack_bytes
ptr_psi_term stack_bytes(char *s, int n)
stack_bytes
Definition: built_ins.c:128
List_Remove
void List_Remove(RefListHeader header, Ref atom)
List_Remove.
Definition: list.c:258
check_opargs
long check_opargs(ptr_node n)
check_opargs
Definition: print.c:887
warningline
void warningline(char *format,...)
warningline
Definition: error.c:371
find_module
ptr_module find_module(char *module)
find_module
Definition: modules.c:54
init_modules
void init_modules()
init_modules
Definition: modules.c:34
wl_node
Definition: def_struct.h:197
equalize_codes
void equalize_codes(int len)
equalize_codes
Definition: types.c:859
xcClearWindow
long xcClearWindow()
xcClearWindow
Definition: xpred.c:1633
disjunct_aim
long disjunct_aim()
disjunct_aim
Definition: login.c:1621
go_through_tree
void go_through_tree(ptr_node t)
go_through_tree
Definition: print.c:258
traverse_tree
void traverse_tree(ptr_node n, int flag)
traverse_tree
Definition: modules.c:656
heap_mod_int_attr
void heap_mod_int_attr(ptr_psi_term t, char *attrname, long value)
heap_mod_int_attr
Definition: token.c:116
xcFlushEvents
long xcFlushEvents()
xcFlushEvents
Definition: xpred.c:3242
appendIntList
ptr_int_list appendIntList(ptr_int_list tail, ptr_int_list more)
appendIntList
Definition: lub.c:40
memory_check
long memory_check()
memory_check
Definition: memory.c:1723
check_sys_definitions
void check_sys_definitions()
check_sys_definitions
Definition: sys.c:2186
x_display_list
ListHeader * x_display_list()
x_display_list
Definition: xdisplaylist.c:120
stdin_cleareof
void stdin_cleareof()
stdin_cleareof
Definition: token.c:51
prettyf_quote
void prettyf_quote(char *s)
prettyf_quote
Definition: print.c:529
global_unify_attr
int global_unify_attr(ptr_node u, ptr_node v)
global_unify_attr
Definition: modules.c:1135
has_rules
long has_rules(ptr_pair_list r)
has_rules
Definition: built_ins.c:5101
xcUnloadFont
long xcUnloadFont()
xcUnloadFont
Definition: xpred.c:2631
match_aim
long match_aim()
match_aim
Definition: lefun.c:770
xcSetWindowAttribute
long xcSetWindowAttribute()
xcSetWindowAttribute
Definition: xpred.c:1460
c_sub_string
long c_sub_string()
c_sub_string
Definition: built_ins.c:5781
int_div_warning
long int_div_warning(ptr_psi_term arg, REAL val)
int_div_warning
Definition: error.c:1028
num_choices
long num_choices()
num_choices
Definition: login.c:1956
WFGetVar
PsiTerm WFGetVar(char *name)
WFGetVar.
Definition: lib.c:304
mark_eval_new
void mark_eval_new(ptr_psi_term t)
mark_eval_new
Definition: copy.c:540
bad_psi_term
int bad_psi_term(ptr_psi_term t)
bad_psi_term
Definition: parser.c:31
c_window_flag
long c_window_flag()
bk_mark_quote
void bk_mark_quote(ptr_psi_term t)
bk_mark_quote
Definition: copy.c:708
merge1
void merge1(ptr_node *u, ptr_node v)
merge1
Definition: login.c:893
match_attr2
void match_attr2(ptr_node *u, ptr_node v, ptr_resid_block rb)
match_attr2
Definition: lefun.c:644
x_record_line
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)
x_record_line
Definition: xdisplaylist.c:186
title
void title()
TITLE.
Definition: info.c:39
list_remove_value
void list_remove_value(ptr_psi_term lst, ptr_psi_term value)
list_remove_value
Definition: xpred.c:3103
heap_add_psi_attr
void heap_add_psi_attr(ptr_psi_term t, char *attrname, ptr_psi_term g)
heap_add_psi_attr
Definition: token.c:226
new_trace
void new_trace(long newtrace)
new_trace
Definition: error.c:698
GetIntAttr
long GetIntAttr(ptr_psi_term psiTerm, char *attributeName)
GetIntAttr.
Definition: xpred.c:333
x_refresh_window
void x_refresh_window(Display *display, Window window, Pixmap pixmap, GC pixmapgc, ListHeader *displaylist)
x_refresh_window
Definition: xdisplaylist.c:447
c_trace
long c_trace()
trace
Definition: bi_sys.c:30
all_public_symbols
long all_public_symbols()
all_public_symbols
Definition: modules.c:1363
mark_quote_tree_new
void mark_quote_tree_new(ptr_node n)
mark_quote_tree_new
Definition: copy.c:653
check_legal_cons
long check_legal_cons(ptr_psi_term t, ptr_definition t_type)
check_legal_cons
Definition: print.c:713
xcMapSubwindows
long xcMapSubwindows()
xcMapSubwindows
Definition: xpred.c:1577
check_definition_list
void check_definition_list()
check_definition_list
Definition: memory.c:700
open_input_file
long open_input_file(char *file)
open_input_file
Definition: token.c:594
remove_cycles
void remove_cycles(ptr_definition d, ptr_int_list *dl)
remove_cycles
Definition: types.c:85
is_built_in
long is_built_in(ptr_pair_list r)
is_built_in
Definition: built_ins.c:5118
set_current_module
ptr_module set_current_module(ptr_module module)
set_current_module
Definition: modules.c:100
append_files
long append_files(char *s1, char *s2)
append_files
Definition: built_ins.c:5543
vinfoline
void vinfoline(char *format, FILE *outfile,...)
assert_clause
void assert_clause(ptr_psi_term t)
assert_clause
Definition: login.c:287
check_attr
void check_attr(ptr_node *n)
check_attr
Definition: memory.c:1055
print_operator_kind
void print_operator_kind(FILE *s, long kind)
print_operator_kind
Definition: print.c:192
xcSetStandardProperties
long xcSetStandardProperties()
xcSetStandardProperties
Definition: xpred.c:1043
xcQueryTextExtents
long xcQueryTextExtents()
xcQueryTextExtents
Definition: xpred.c:3933
GoalFromPsiTerm
ptr_goal GoalFromPsiTerm(ptr_psi_term psiTerm)
GoalFromPsiTerm.
Definition: xpred.c:3992
perr_i
void perr_i(char *str, long i)
perr_i
Definition: error.c:800
what_next_aim
long what_next_aim()
what_next_aim
Definition: login.c:2068
persistent_one
void persistent_one(ptr_psi_term t)
persistent_one
Definition: built_ins.c:2759
i_check_out
long i_check_out(ptr_psi_term t)
i_check_out
Definition: lefun.c:1033
all_sorts
void all_sorts()
all_sorts
Definition: types.c:759
Ref
void * Ref
Definition: def_struct.h:272
init_interrupt
void init_interrupt()
INIT_INTERRUPT.
Definition: interrupt.c:36
heap_alloc
GENERIC heap_alloc(long s)
heap_alloc
Definition: memory.c:1616
intListNext
GENERIC intListNext(ptr_int_list p)
intListNext
Definition: bi_sys.c:515
bit_and_warning
long bit_and_warning(ptr_psi_term arg, REAL val)
bit_and_warning
Definition: error.c:992
stack_insert_copystr
void stack_insert_copystr(char *keystr, ptr_node *tree, GENERIC info)
stack_insert_copystr
Definition: trees.c:301
List_Card
long List_Card(RefListHeader header)
List_Card.
Definition: list.c:461
stack_alloc
GENERIC stack_alloc(long s)
stack_alloc
Definition: memory.c:1642
GetBoolOption
int GetBoolOption(char *name)
GetBoolOption.
Definition: memory.c:64
c_begin_raw
long c_begin_raw()
collect_symbols
ptr_psi_term collect_symbols(long sel)
collect_symbols
Definition: built_ins.c:3699
open_module_one
void open_module_one(ptr_psi_term t, int *onefailed)
open_module_one
Definition: modules.c:562
unify_body
long unify_body(long eval_flag)
unify_body
Definition: login.c:1365
pretty_psi_with_ops
long pretty_psi_with_ops(ptr_psi_term t, long sprec, long depth)
pretty_psi_with_ops
Definition: print.c:949
stack_copy_string
char * stack_copy_string(char *s)
stack_copy_string
Definition: trees.c:184
in_set
long in_set(char *str, long set)
in_set
Definition: lefun.c:1316
x_destroy_window
void x_destroy_window(Display *display, Window window)
x_destroy_window
Definition: xpred.c:3852
two_or_more
long two_or_more(ptr_node t)
two_or_more
Definition: print.c:1254
assert_args_not_eval
void assert_args_not_eval(ptr_node n)
assert_args_not_eval
Definition: types.c:294
new_tab
void new_tab(ptr_tab_brk *t)
new_tab
Definition: print.c:587
clear_coding
void clear_coding()
clear_coding
Definition: types.c:727
make_feature_list
ptr_psi_term make_feature_list(ptr_node tree, ptr_psi_term tail, ptr_module module, int val)
make_feature_list
Definition: built_ins.c:175
make_feature_private
int make_feature_private(ptr_psi_term term)
make_feature_private
Definition: modules.c:1256
WFFeatures
char ** WFFeatures(ptr_psi_term psi)
WFFeatures.
Definition: lib.c:380
List_InsertAfter
void List_InsertAfter(RefListHeader header, Ref atom, Ref mark)
List_InsertAfter.
Definition: list.c:134
type_cyclicity
long type_cyclicity(ptr_definition d, ptr_int_list anc)
type_cyclicity
Definition: types.c:977
pchoices
void pchoices()
pchoices
Definition: memory.c:94
read_string_error
void read_string_error(int n)
read_string_error
Definition: token.c:796
bk_mark_quote_tree
void bk_mark_quote_tree(ptr_node t)
bk_mark_quote_tree
Definition: copy.c:728
stack_string
ptr_psi_term stack_string(char *s)
stack_string
Definition: built_ins.c:109