Wild Life: def_proto.h Source File

Wild Life 2.29

- 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 // 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
14 void insert_math_builtins();
15
16 // from bi_sys.c
17
18 long c_trace();
19 long c_tprove();
20 long c_quiet();
21 void setUnitList(GENERIC x);
22 ptr_psi_term unitListValue();
23 GENERIC unitListNext();
24 ptr_psi_term intListValue(ptr_int_list p);
25 GENERIC intListNext(ptr_int_list p);
26 ptr_psi_term quotedStackCopy( /* ptr_ */ psi_term p); // commented 2.22
27 ptr_psi_term residListGoalQuote(ptr_residuation p);
28 GENERIC residListNext(ptr_residuation p);
29 ptr_psi_term makePsiTerm(ptr_definition x);
30 ptr_psi_term makePsiList(GENERIC head,ptr_psi_term (*valueFunc)(),GENERIC (*nextFunc)());
31 ptr_goal makeGoal(ptr_psi_term p);
32 void insert_system_builtins();
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();
39 void insert_type_builtins();
40 int isSubTypeValue(ptr_psi_term arg1,ptr_psi_term arg2);
41 // from built_ins.c
42
43 ptr_psi_term stack_nil();
44 ptr_psi_term stack_cons(ptr_psi_term head,ptr_psi_term tail);
45 ptr_psi_term stack_pair(ptr_psi_term left,ptr_psi_term right);
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);
50 ptr_psi_term make_feature_list(ptr_node tree,ptr_psi_term tail,ptr_module module, int val);
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);
54 long unify_real_result(ptr_psi_term t,REAL 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);
66 void persistent_tree(ptr_node n);
67 void persistent_one(ptr_psi_term t);
68 long hidden_type(ptr_definition t);
69 ptr_psi_term collect_symbols(long sel);
70 ptr_node one_attr();
71 ptr_psi_term new_psi_term(long numargs,ptr_definition typ,ptr_psi_term **a1,ptr_psi_term **a2);
72 long has_rules(ptr_pair_list r);
73 long is_built_in(ptr_pair_list r);
74 void list_special(ptr_psi_term t);
75 void new_built_in(ptr_module m, char *s,def_type t,long (*r)());
76 long declare_operator(ptr_psi_term t);
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);
98 ptr_psi_term inc_heap_copy(ptr_psi_term t);
99 ptr_psi_term copy(ptr_psi_term t,long copy_flag,long heap_flag);
100 ptr_node distinct_tree(ptr_node t);
101 ptr_psi_term distinct_copy(ptr_psi_term t);
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);
105 void mark_nonstrict(ptr_psi_term t);
106 void mark_quote_new2(ptr_psi_term t);
107 void mark_eval_new(ptr_psi_term t);
108 void mark_eval_tree_new(ptr_node n);
109 void mark_quote_new(ptr_psi_term t);
110 void mark_quote_tree_new(ptr_node n);
111 void mark_quote(ptr_psi_term t);
112 void mark_quote_tree(ptr_node t);
113 void bk_mark_quote(ptr_psi_term t);
114 void bk_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);
146 void nonnum_warning(ptr_psi_term t,ptr_psi_term arg1,ptr_psi_term arg2);
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);
178 void residuate_double(ptr_psi_term t, ptr_psi_term u);
179 void residuate(ptr_psi_term t);
180 void residuate2(ptr_psi_term u, ptr_psi_term v);
181 void residuate3(ptr_psi_term u, ptr_psi_term v,ptr_psi_term w);
182 void curry();
183 long residuateGoalOnVar(ptr_goal g,ptr_psi_term var, ptr_psi_term othervar);
184 long do_residuation_user();
185 long do_residuation();
186 void do_currying();
187 void release_resid_main(ptr_psi_term t,long trailflag);
188 void release_resid(ptr_psi_term t);
189 void release_resid_notrail(ptr_psi_term t);
190 void append_resid(ptr_psi_term u, ptr_psi_term v);
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);
206 long deref_rec_eval(ptr_psi_term t);
207 void deref_rec_body(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);
213 void deref2_rec_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);
216 void eval_global_var(ptr_psi_term t);
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);
227 int WFfeature_count_loop(ptr_node n);
228 int WFFeatureCount(ptr_psi_term psi);
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
257 void get_two_args(ptr_node t, ptr_psi_term *a, ptr_psi_term *b);
258 void get_one_arg(ptr_node t, ptr_psi_term *a);
259 void get_one_arg_addr(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);
262 void assert_clause(ptr_psi_term t);
263 void start_chrono();
264 void push_ptr_value(type_ptr t, GENERIC *p);
265 void push_def_ptr_value(ptr_psi_term q, GENERIC *p);
266 void push_psi_ptr_value(ptr_psi_term q, GENERIC *p);
267 void push_ptr_value_global(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);
270 void push_goal(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c);
271 void push_choice_point(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c);
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();
295 ptr_choice_point topmost_what_next();
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
306 ptr_int_list appendIntList(ptr_int_list tail,ptr_int_list more);
307 void mark_ancestors(ptr_definition def, long *flags);
308 ptr_int_list lub(ptr_psi_term a,ptr_psi_term b,ptr_psi_term *pp);
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);
321 void check_definition(ptr_definition *d);
322 void check_definition_list();
323 void check_resid_block(ptr_resid_block *rb);
324 void check_psi_term(ptr_psi_term *t);
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);
341 ptr_module set_current_module(ptr_module module);
342 ptr_module extract_module_from_name(char *str);
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);
346 ptr_definition new_definition(ptr_keyword key);
347 ptr_definition update_symbol(ptr_module module,char *symbol);
348 char *print_symbol(ptr_keyword k);
349 void pretty_symbol(ptr_keyword k);
350 void pretty_quote_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();
362 void replace(ptr_definition old,ptr_definition new, ptr_psi_term term);
363 void rec_replace(ptr_definition old, ptr_definition new, ptr_psi_term term);
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();
368 int global_unify(ptr_psi_term u, ptr_psi_term v);
369 int global_unify_attr(ptr_node u, ptr_node v);
370 long c_alias();
371 int get_module(ptr_psi_term psi, ptr_module *module);
372 int make_feature_private(ptr_psi_term term);
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
378 int bad_psi_term(ptr_psi_term t);
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);
384 ptr_psi_term stack_copy_psi_term(psi_term t);
385 ptr_psi_term heap_copy_psi_term(psi_term t);
386 void feature_insert(char *keystr,ptr_node *tree,ptr_psi_term psi);
387 psi_term list_nil(ptr_definition type);
388 psi_term parse_list(ptr_definition typ, char e, char s);
389 psi_term read_psi_term();
390 psi_term make_life_form(ptr_psi_term tok, ptr_psi_term arg1,ptr_psi_term arg2);
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();
398 GENERIC unique_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);
403 void check_pointer(ptr_psi_term p);
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);
423 long check_legal_cons(ptr_psi_term t,ptr_definition t_type);
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();
434 void pretty_variables(ptr_node n,ptr_tab_brk tab);
435 long print_variables(long printflag);
436 void write_attributes(ptr_node n,ptr_tab_brk tab);
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);
440 void display_psi_stdout(ptr_psi_term t);
441 void display_psi_stderr(ptr_psi_term t);
442 void display_psi_stream(ptr_psi_term t);
443 void display_psi(FILE *s,ptr_psi_term t);
444 void main_display_psi_term(ptr_psi_term t);
445 void display_couple(ptr_psi_term u,char *s,ptr_psi_term v);
446 void print_resid_message(ptr_psi_term t,ptr_resid_list r);
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);
493 void restore_state(ptr_psi_term t);
494 void new_state(ptr_psi_term *t);
495 void save_parse_state(ptr_parse_block pb);
496 void restore_parse_state(ptr_parse_block pb);
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);
532 ptr_node find_data(GENERIC p,ptr_node t);
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();
538 void remove_cycles(ptr_definition d,ptr_int_list *dl);
539 long redefine(ptr_psi_term t);
540 ptr_int_list cons(GENERIC v,ptr_int_list l);
541 long assert_less(ptr_psi_term t1, ptr_psi_term t2);
542 void assert_protected(ptr_node n,long prot);
543 void assert_args_not_eval(ptr_node n);
544 void assert_delay_check(ptr_node n);
545 void clear_already_loaded(ptr_node n);
546 void assert_type(ptr_psi_term t);
547 void assert_complicated_type(ptr_psi_term t);
548 void assert_attributes(ptr_psi_term t);
549 void find_adults();
550 void insert_own_prop(ptr_definition d);
551 void insert_prop(ptr_definition d,ptr_triple_list prop);
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);
558 ptr_int_list copyTypeCode(ptr_int_list u);
559 void or_codes(ptr_int_list u, ptr_int_list v);
560 void equalize_codes(int len);
561 void make_type_link(ptr_definition t1, ptr_definition t2);
562 long type_member(ptr_definition t,ptr_int_list tlst);
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);
566 long type_cyclicity(ptr_definition d,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);
574 long glb(ptr_definition t1,ptr_definition t2,ptr_definition *t3,ptr_int_list *c3);
575 long overlap_type(ptr_definition t1,ptr_definition t2);
576 long sub_CodeType(ptr_int_list c1,ptr_int_list c2);
577 long sub_type(ptr_definition t1,ptr_definition t2);
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);
581 ptr_int_list decode(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
700 ptr_goal GoalFromPsiTerm(ptr_psi_term psiTerm);
mark_quote_new
void mark_quote_new(ptr_psi_term t)
Definition: copy.c:557
list_special
void list_special(ptr_psi_term t)
Definition: built_ins.c:4820
hidden_type
long hidden_type(ptr_definition t)
Definition: built_ins.c:3421
intcmp
long intcmp(long a, long b)
Definition: trees.c:12
isSubTypeValue
int isSubTypeValue(ptr_psi_term arg1, ptr_psi_term arg2)
Definition: bi_type.c:163
check_disj
void check_disj(ptr_psi_term t)
Definition: lefun.c:845
opcheck
long opcheck(ptr_psi_term t, long *prec, long *type)
Definition: print.c:834
mark_quote_c
void mark_quote_c(ptr_psi_term t, long heap_flag)
Definition: copy.c:396
persistent_tree
void persistent_tree(ptr_node n)
Definition: built_ins.c:2561
f_check_out
long f_check_out(ptr_psi_term t)
Definition: lefun.c:992
list_nil
psi_term list_nil(ptr_definition type)
Definition: parser.c:255
hash_lookup
ptr_keyword hash_lookup(ptr_hash_table table, char *symbol)
Definition: hash_table.c:133
unify_bool_result
void unify_bool_result(ptr_psi_term t, long v)
Definition: built_ins.c:329
psi_term_error
void psi_term_error()
Definition: token.c:661
trail_condition
long trail_condition(psi_term *Q)
Definition: login.c:2490
hash_expand
void hash_expand(ptr_hash_table table, int new_size)
Definition: hash_table.c:48
report_warning2
void report_warning2(ptr_psi_term g, char *s)
Definition: error.c:785
print_undo_stack
void print_undo_stack()
Definition: memory.c:107
psi_to_string
long psi_to_string(ptr_psi_term t, char **fn)
Definition: built_ins.c:133
c_halt
long c_halt()
Definition: built_ins.c:2084
get_two_args
void get_two_args(ptr_node t, ptr_psi_term *a, ptr_psi_term *b)
Definition: login.c:37
init_trace
void init_trace()
Definition: error.c:587
glb_value
long glb_value(long result, long f, GENERIC c, GENERIC value1, GENERIC value2, GENERIC *value)
Definition: types.c:1206
all_sorts
void all_sorts()
Definition: types.c:716
List_InsertAhead
void List_InsertAhead(RefListHeader header, Ref atom)
Definition: list.c:39
count_features
long count_features(ptr_node t)
Definition: print.c:619
open_output_file
long open_output_file(char *file)
undo
void undo(ptr_stack limit)
Definition: login.c:646
read_psi_term
psi_term read_psi_term()
Definition: parser.c:400
makeGoal
ptr_goal makeGoal(ptr_psi_term p)
Definition: bi_sys.c:533
get_one_arg_addr
void get_one_arg_addr(ptr_node t, ptr_psi_term **a)
Definition: login.c:115
insert_math_builtins
void insert_math_builtins()
Definition: bi_math.c:1318
global_unify
int global_unify(ptr_psi_term u, ptr_psi_term v)
Definition: modules.c:1035
make_life_form
psi_term make_life_form(ptr_psi_term tok, ptr_psi_term arg1, ptr_psi_term arg2)
Definition: parser.c:546
unitListNext
GENERIC unitListNext()
Definition: bi_sys.c:418
WFGetString
char * WFGetString(ptr_psi_term psi, int *ok)
Definition: lib.c:410
do_residuation
long do_residuation()
Definition: lefun.c:313
interrupt
void interrupt()
Definition: interrupt.c:13
perr
void perr(char *str)
Definition: error.c:659
show
void show(long limit)
Definition: parser.c:52
main_display_psi_term
void main_display_psi_term(ptr_psi_term t)
Definition: print.c:1470
garbage
void garbage()
Definition: memory.c:1430
strict_matches
long strict_matches(ptr_psi_term t1, ptr_psi_term t2, long *smaller)
Definition: types.c:1608
heap_add_str_attr
void heap_add_str_attr(ptr_psi_term t, char *attrname, char *str)
Definition: token.c:122
push2_ptr_value
void push2_ptr_value(type_ptr t, GENERIC *p, GENERIC v)
Definition: login.c:531
put_back_char
void put_back_char(long c)
Definition: token.c:633
general_insert
ptr_node general_insert(long comp, char *keystr, ptr_node *tree, GENERIC info, long heapflag, long copystr, long bkflag)
Definition: trees.c:184
c_append_file
long c_append_file()
Definition: built_ins.c:5552
exact_copy
ptr_psi_term exact_copy(ptr_psi_term t, long heap_flag)
Definition: copy.c:195
residuate
void residuate(ptr_psi_term t)
Definition: lefun.c:113
listing_pred_write
void listing_pred_write(ptr_node n, long fflag)
Definition: print.c:1341
precedence
long precedence(psi_term tok, long typ)
Definition: parser.c:159
read_life_form
psi_term read_life_form(char ch1, char ch2)
Definition: parser.c:700
check_out
long check_out(ptr_psi_term t)
Definition: lefun.c:999
read_token
void read_token(ptr_psi_term tok)
Definition: token.c:1063
unitListValue
ptr_psi_term unitListValue()
Definition: bi_sys.c:413
c_public
long c_public()
Definition: modules.c:671
do_residuation_user
long do_residuation_user()
Definition: lefun.c:306
restore_resid
void restore_resid(ptr_resid_block rb, ptr_psi_term *match_date)
Definition: lefun.c:1270
wl_choice_point
Definition: def_struct.h:231
exit_if_true
void exit_if_true(long exitflag)
Definition: lib.c:40
mark_quote_new2
void mark_quote_new2(ptr_psi_term t)
Definition: copy.c:471
wl_hash_table
Definition: def_struct.h:111
yes_or_no
long yes_or_no()
Definition: types.c:44
report_warning
void report_warning(ptr_psi_term g, char *s)
Definition: error.c:746
c_display_modules
long c_display_modules()
Definition: modules.c:723
glb
long glb(ptr_definition t1, ptr_definition t2, ptr_definition *t3, ptr_int_list *c3)
Definition: types.c:1388
List_EnumFrom
long List_EnumFrom(RefListHeader header, Ref atom, RefListEnumProc proc, Ref closure)
Definition: list.c:311
mark_quote_tree_c
void mark_quote_tree_c(ptr_node n, long heap_flag)
Definition: copy.c:424
WFGetFeature
PsiTerm WFGetFeature(ptr_psi_term ps, char *feature)
Definition: lib.c:433
persistent_error_check
void persistent_error_check(ptr_node n, int *error)
Definition: built_ins.c:2538
bounds_undo_stack
long bounds_undo_stack()
Definition: memory.c:121
text_buffer_push
void text_buffer_push(struct text_buffer **buf, char c)
Definition: sys.c:773
push_ptr_value
void push_ptr_value(type_ptr t, GENERIC *p)
Definition: login.c:360
parse_list
psi_term parse_list(ptr_definition typ, char e, char s)
Definition: parser.c:304
real_stack_psi_term
ptr_psi_term real_stack_psi_term(long stat, REAL thereal)
Definition: lefun.c:38
check_resid_block
void check_resid_block(ptr_resid_block *rb)
Definition: memory.c:900
c_end_raw
long c_end_raw()
Definition: raw.c:232
text_buffer_next
int text_buffer_next(struct text_buffer *buf, int idx, char c, struct text_buffer **rbuf, int *ridx)
Definition: sys.c:724
push_choice_point
void push_choice_point(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c)
Definition: login.c:591
push_goal
void push_goal(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c)
Definition: login.c:555
create_module
ptr_module create_module(char *module)
Definition: modules.c:67
parse
psi_term parse(long *q)
Definition: parser.c:877
bk_stack_insert
ptr_node bk_stack_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
Definition: trees.c:309
clear_copy
void clear_copy()
Definition: copy.c:52
write_attributes
void write_attributes(ptr_node n, ptr_tab_brk tab)
Definition: print.c:1321
wl_goal
Definition: def_struct.h:222
unique_name
GENERIC unique_name()
Definition: print.c:87
main_pred_write
void main_pred_write(ptr_node n)
Definition: print.c:1375
List_Concat
void List_Concat(RefListHeader header1, RefListHeader header2)
Definition: list.c:277
legal_in_name
long legal_in_name(long c)
Definition: token.c:861
is_ipaddr
int is_ipaddr(char *s)
Definition: sys.c:1068
make_public
long make_public(ptr_psi_term term, long bool)
Definition: modules.c:600
init_system
void init_system()
Definition: lib.c:77
heap_mod_str_attr
void heap_mod_str_attr(ptr_psi_term t, char *attrname, char *str)
Definition: token.c:153
intListValue
ptr_psi_term intListValue(ptr_int_list p)
Definition: bi_sys.c:424
find_data
ptr_node find_data(GENERIC p, ptr_node t)
Definition: trees.c:399
stack_copy_string
char * stack_copy_string(char *s)
Definition: trees.c:155
reset_step
void reset_step()
Definition: error.c:596
rec_replace
void rec_replace(ptr_definition old, ptr_definition new, ptr_psi_term term)
Definition: modules.c:846
inc_heap_copy
ptr_psi_term inc_heap_copy(ptr_psi_term t)
Definition: copy.c:211
stack_add_str_attr
void stack_add_str_attr(ptr_psi_term t, char *attrname, char *str)
Definition: token.c:136
WFfeature_count_loop
int WFfeature_count_loop(ptr_node n)
Definition: lib.c:315
assert_type
void assert_type(ptr_psi_term t)
Definition: types.c:345
pretty_attr
void pretty_attr(ptr_node t, long depth)
Definition: print.c:1180
only_arg1
long only_arg1(ptr_psi_term t, ptr_psi_term *arg1)
Definition: built_ins.c:1528
check_real
long check_real(ptr_psi_term t, REAL *v, long *n)
Definition: built_ins.c:217
do_pretty_attr
void do_pretty_attr(ptr_node t, ptr_tab_brk tab, long *cnt, long two, long depth)
Definition: print.c:1109
make_module_token
char * make_module_token(ptr_module module, char *str)
Definition: modules.c:185
save_parse_state
void save_parse_state(ptr_parse_block pb)
Definition: token.c:350
TOKEN_ERROR
void TOKEN_ERROR(ptr_psi_term p)
Definition: token.c:30
c_string_length
long c_string_length()
Definition: built_ins.c:5389
read_string
void read_string(ptr_psi_term tok, long e)
Definition: token.c:743
two
char * two
Definition: def_glob.h:251
bit_length
long bit_length(ptr_int_list c)
Definition: types.c:1648
merge_unify
void merge_unify(ptr_node *u, ptr_node v)
Definition: login.c:1070
global_tree
void global_tree(ptr_node n)
Definition: built_ins.c:2466
heap_psi_term
ptr_psi_term heap_psi_term(long stat)
Definition: lefun.c:63
delete_attr
void delete_attr(char *s, ptr_node *n)
Definition: trees.c:466
decode
ptr_int_list decode(ptr_int_list c)
Definition: types.c:1678
stack_pair
ptr_psi_term stack_pair(ptr_psi_term left, ptr_psi_term right)
Definition: built_ins.c:67
display_psi
void display_psi(FILE *s, ptr_psi_term t)
Definition: print.c:1460
push_ptr_value_global
void push_ptr_value_global(type_ptr t, GENERIC *p)
Definition: login.c:488
warningx
long warningx()
Definition: error.c:692
mark_quote
void mark_quote(ptr_psi_term t)
Definition: copy.c:601
reportAndAbort
long reportAndAbort(ptr_psi_term g, char *s)
Definition: error.c:732
wl_module
Definition: def_struct.h:74
redefine
long redefine(ptr_psi_term t)
Definition: types.c:91
deref2_rec_eval
void deref2_rec_eval(ptr_psi_term t)
Definition: lefun.c:1245
push_psi_ptr_value
void push_psi_ptr_value(ptr_psi_term q, GENERIC *p)
Definition: login.c:443
read_name
void read_name(ptr_psi_term tok, long ch, long(*f)(), ptr_definition typ)
c_module_access
long c_module_access()
Definition: modules.c:993
makePsiTerm
ptr_psi_term makePsiTerm(ptr_definition x)
Definition: bi_sys.c:468
replace_attr
void replace_attr(ptr_node old_attr, ptr_psi_term term, ptr_definition old, ptr_definition new)
Definition: modules.c:875
c_concatenate
long c_concatenate()
Definition: built_ins.c:5245
push
void push(psi_term tok, long prec, long op)
Definition: parser.c:91
WFInput
int WFInput(char *query)
Definition: lib.c:210
restore_parse_state
void restore_parse_state(ptr_parse_block pb)
Definition: token.c:365
c_isa_subsort
long c_isa_subsort()
Definition: bi_type.c:515
has_non_alpha
long has_non_alpha(char *s)
Definition: print.c:386
one_attr
ptr_node one_attr()
Definition: built_ins.c:4749
display_psi_stream
void display_psi_stream(ptr_psi_term t)
Definition: print.c:1449
List_IsUnlink
long List_IsUnlink(RefListLinks links)
Definition: list.c:421
tracing
void tracing()
Definition: error.c:604
pretty_symbol
void pretty_symbol(ptr_keyword k)
Definition: modules.c:446
c_abort
long c_abort()
Definition: built_ins.c:2117
unify_aim
long unify_aim()
Definition: login.c:1264
sub_str
char * sub_str(char *s, long p, long n)
Definition: built_ins.c:5184
hash_find
int hash_find(ptr_hash_table table, char *symbol)
Definition: hash_table.c:106
text_buffer
Definition: def_struct.h:398
c_set_module
long c_set_module()
Definition: modules.c:483
prettyf_quoted_string
void prettyf_quoted_string(char *s)
Definition: print.c:454
wl_psi_term
Definition: def_struct.h:161
distinct_tree
ptr_node distinct_tree(ptr_node t)
Definition: copy.c:334
stack_int
ptr_psi_term stack_int(long n)
Definition: built_ins.c:87
strip_module_name
char * strip_module_name(char *str)
Definition: modules.c:139
List_EnumBackFrom
long List_EnumBackFrom(RefListHeader header, Ref atom, RefListEnumProc proc, Ref closure)
Definition: list.c:359
c_in_raw
long c_in_raw()
Definition: raw.c:263
or_codes
void or_codes(ptr_int_list u, ptr_int_list v)
Definition: types.c:780
matches
long matches(ptr_definition t1, ptr_definition t2, long *smaller)
Definition: types.c:1565
assert_protected
void assert_protected(ptr_node n, long prot)
Definition: types.c:235
fileptr2stream
ptr_psi_term fileptr2stream(FILE *fp, ptr_definition typ)
Definition: sys.c:571
replace
void replace(ptr_definition old, ptr_definition new, ptr_psi_term term)
Definition: modules.c:834
wl_stack
Definition: def_struct.h:215
GetIntOption
int GetIntOption(char *name, int def)
Definition: memory.c:64
residuateGoalOnVar
long residuateGoalOnVar(ptr_goal g, ptr_psi_term var, ptr_psi_term othervar)
Definition: lefun.c:172
wl_triple_list
Definition: def_struct.h:195
warning
long warning()
Definition: error.c:685
pretty_output
void pretty_output()
Definition: print.c:1200
deref2_eval
void deref2_eval(ptr_psi_term t)
Definition: lefun.c:1224
nonnum_warning
void nonnum_warning(ptr_psi_term t, ptr_psi_term arg1, ptr_psi_term arg2)
Definition: error.c:796
toggle_step
void toggle_step()
Definition: error.c:650
feature_insert
void feature_insert(char *keystr, ptr_node *tree, ptr_psi_term psi)
Definition: parser.c:225
wl_residuation
Definition: def_struct.h:152
append_resid
void append_resid(ptr_psi_term u, ptr_psi_term v)
Definition: lefun.c:434
hash_create
ptr_hash_table hash_create(int size)
Definition: hash_table.c:26
get_one_arg
void get_one_arg(ptr_node t, ptr_psi_term *a)
Definition: login.c:86
pred_clause
long pred_clause(ptr_psi_term t, long r, ptr_psi_term g)
Definition: built_ins.c:2300
bit_not_warning
long bit_not_warning(ptr_psi_term arg, REAL val)
Definition: error.c:838
assert_complicated_type
void assert_complicated_type(ptr_psi_term t)
Definition: types.c:375
starts_nonlower
long starts_nonlower(char *s)
Definition: print.c:379
wl_pair_list
Definition: def_struct.h:188
unify_aim_noeval
long unify_aim_noeval()
Definition: login.c:1259
perr_sort_cycle
void perr_sort_cycle(ptr_int_list anc)
Definition: types.c:892
perr_s
void perr_s(char *s1, char *s2)
Definition: error.c:665
display_psi_stdout
void display_psi_stdout(ptr_psi_term t)
Definition: print.c:1427
curry
void curry()
Definition: lefun.c:157
bk2_stack_insert
ptr_node bk2_stack_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
Definition: trees.c:327
eval_copy
ptr_psi_term eval_copy(ptr_psi_term t, long heap_flag)
Definition: copy.c:205
show_count
void show_count()
Definition: login.c:1085
setUnitList
void setUnitList(GENERIC x)
Definition: bi_sys.c:407
init_built_in_types
void init_built_in_types()
Definition: built_ins.c:5805
backtrack
void backtrack()
Definition: login.c:724
WFInit
void WFInit(long argc, char **argv)
make_sys_type_links
void make_sys_type_links()
Definition: sys.c:1726
no_choices
long no_choices()
Definition: login.c:1838
report_error2
void report_error2(ptr_psi_term g, char *s)
Definition: error.c:772
c_open_module
long c_open_module()
Definition: modules.c:514
mark_nonstrict
void mark_nonstrict(ptr_psi_term t)
Definition: copy.c:462
read_token_main
void read_token_main(ptr_psi_term tok, long for_parser)
Definition: token.c:1073
heap_ncopy_string
char * heap_ncopy_string(char *s, int n)
Definition: trees.c:128
display_psi_stderr
void display_psi_stderr(ptr_psi_term t)
Definition: print.c:1438
List_Append
void List_Append(RefListHeader header, Ref atom)
Definition: list.c:63
assert_less
long assert_less(ptr_psi_term t1, ptr_psi_term t2)
Definition: types.c:183
get_stream
FILE * get_stream(ptr_psi_term t)
Definition: token.c:219
perr_sort_list
void perr_sort_list(ptr_int_list anc)
Definition: types.c:882
eval_global_var
void eval_global_var(ptr_psi_term t)
Definition: lefun.c:1291
overlap_type
long overlap_type(ptr_definition t1, ptr_definition t2)
Definition: types.c:1486
print_bin
void print_bin(long b)
Definition: print.c:130
pretty_psi_term
void pretty_psi_term(ptr_psi_term t, long sprec, long depth)
Definition: print.c:972
put_back_token
void put_back_token(psi_term t)
Definition: token.c:647
REAL
#define REAL
Definition: def_const.h:72
psi_arg
Definition: def_struct.h:362
insert_system_builtins
void insert_system_builtins()
Definition: bi_sys.c:626
copy
ptr_psi_term copy(ptr_psi_term t, long copy_flag, long heap_flag)
Definition: copy.c:219
outfile
FILE * outfile
Definition: def_glob.h:333
update_symbol
ptr_definition update_symbol(ptr_module module, char *symbol)
Definition: modules.c:264
insert_own_prop
void insert_own_prop(ptr_definition d)
Definition: types.c:539
read_number
void read_number(ptr_psi_term tok, long c)
Definition: token.c:986
perr_s2
void perr_s2(char *s1, char *s2, char *s3)
Definition: error.c:671
pop
long pop(ptr_psi_term tok, long *op)
Definition: parser.c:115
heap_insert
ptr_node heap_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
Definition: trees.c:276
stack_cons
ptr_psi_term stack_cons(ptr_psi_term head, ptr_psi_term tail)
Definition: built_ins.c:47
text_buffer_cmp
char * text_buffer_cmp(struct text_buffer *buf, int idx, char *str)
Definition: sys.c:748
get_module
int get_module(ptr_psi_term psi, ptr_module *module)
Definition: modules.c:1207
get_real_value
long get_real_value(ptr_psi_term t, REAL *v, long *n)
Definition: built_ins.c:246
two_to_the
ptr_int_list two_to_the(long p)
Definition: types.c:731
stack_add_psi_attr
void stack_add_psi_attr(ptr_psi_term t, char *attrname, ptr_psi_term g)
Definition: token.c:192
hash_display
void hash_display(ptr_hash_table table)
Definition: hash_table.c:182
init_io
void init_io()
Definition: lib.c:53
release_resid
void release_resid(ptr_psi_term t)
Definition: lefun.c:414
mark_eval_tree_new
void mark_eval_tree_new(ptr_node n)
Definition: copy.c:546
heap_add_int_attr
void heap_add_int_attr(ptr_psi_term t, char *attrname, long value)
Definition: token.c:58
c_lub
long c_lub()
Definition: bi_type.c:614
insert_prop
void insert_prop(ptr_definition d, ptr_triple_list prop)
Definition: types.c:580
str_conc
char * str_conc(char *s1, char *s2)
Definition: built_ins.c:5171
pretty_list
void pretty_list(ptr_psi_term t, long depth)
Definition: print.c:661
deref_rec_body
void deref_rec_body(ptr_psi_term t)
Definition: lefun.c:1135
deref_rec_args
void deref_rec_args(ptr_node n)
Definition: lefun.c:1159
sub_type
long sub_type(ptr_definition t1, ptr_definition t2)
Definition: types.c:1544
traceline
void traceline(char *format,...)
Definition: error.c:157
wl_ListLinks
Definition: def_struct.h:293
wl_int_list
Definition: def_struct.h:53
print_symbol
char * print_symbol(ptr_keyword k)
Definition: modules.c:429
List_Swap
void List_Swap(RefListHeader header, Ref first, Ref second)
Definition: list.c:154
fetch_def
void fetch_def(ptr_psi_term u, long allflag)
Definition: login.c:1128
new_psi_term
ptr_psi_term new_psi_term(long numargs, ptr_definition typ, ptr_psi_term **a1, ptr_psi_term **a2)
Definition: built_ins.c:4764
c_reset_window_flag
long c_reset_window_flag()
Definition: raw.c:309
end_tab
void end_tab()
Definition: print.c:497
c_display_persistent
long c_display_persistent()
Definition: modules.c:759
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)
Definition: login.c:1188
PsiTerm
void * PsiTerm
Definition: def_struct.h:4
check_hash_table
void check_hash_table(ptr_hash_table table)
Definition: memory.c:576
distinct_copy
ptr_psi_term distinct_copy(ptr_psi_term t)
Definition: copy.c:358
eval_args
long eval_args(ptr_node n)
Definition: lefun.c:826
string_val
char * string_val(ptr_psi_term term)
Definition: modules.c:164
match_attr
void match_attr(ptr_node *u, ptr_node v, ptr_resid_block rb)
Definition: lefun.c:692
RefListGetLinksProc
RefListLinks(* RefListGetLinksProc)()
Definition: def_struct.h:261
Errorline
void Errorline(char *format,...)
Definition: error.c:414
pretty_quote_symbol
void pretty_quote_symbol(ptr_keyword k)
Definition: modules.c:464
heap_copy_string
char * heap_copy_string(char *s)
Definition: trees.c:147
type_disj_aim
void type_disj_aim()
Definition: login.c:1744
assert_delay_check
void assert_delay_check(ptr_node n)
Definition: types.c:303
WFFeatureCount
int WFFeatureCount(ptr_psi_term psi)
Definition: lib.c:334
is_int
long is_int(char **s, long *len, long *sgn)
Definition: trees.c:27
cons
ptr_int_list cons(GENERIC v, ptr_int_list l)
Definition: types.c:164
end_terminal_io
void end_terminal_io()
Definition: token.c:431
forbid_variables
void forbid_variables(ptr_node n)
Definition: print.c:309
stack_add_int_attr
void stack_add_int_attr(ptr_psi_term t, char *attrname, long value)
Definition: token.c:73
stack_nil
ptr_psi_term stack_nil()
Definition: built_ins.c:29
one_pass_always_check
void one_pass_always_check(long *ch)
Definition: types.c:976
get_arg
long get_arg(ptr_psi_term g, ptr_psi_term *arg, char *number)
Definition: templates.c:20
print_gc_info
void print_gc_info(long timeflag)
Definition: memory.c:1396
makePsiList
ptr_psi_term makePsiList(GENERIC head, ptr_psi_term(*valueFunc)(), GENERIC(*nextFunc)())
Definition: bi_sys.c:480
List_Reverse
void List_Reverse(RefListHeader header)
Definition: list.c:206
bk_stack_add_psi_attr
void bk_stack_add_psi_attr(ptr_psi_term t, char *attrname, ptr_psi_term g)
Definition: token.c:200
residuate2
void residuate2(ptr_psi_term u, ptr_psi_term v)
Definition: lefun.c:130
stack_insert
ptr_node stack_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
Definition: trees.c:291
set_trace_to_prove
void set_trace_to_prove()
Definition: error.c:639
infoline
void infoline(char *format,...)
Definition: error.c:245
hash_code
int hash_code(ptr_hash_table table, char *symbol)
Definition: hash_table.c:81
wl_tab_brk
Definition: def_struct.h:304
print_resid_message
void print_resid_message(ptr_psi_term t, ptr_resid_list r)
Definition: print.c:1562
print_codes
void print_codes()
Definition: types.c:1178
count_sorts
long count_sorts(long c0)
Definition: types.c:669
c_args
long c_args()
Definition: built_ins.c:5777
c_tprove
long c_tprove()
Definition: bi_sys.c:65
prettyf_inner
void prettyf_inner(char *s, long q, char c)
Definition: print.c:349
print_code
void print_code(FILE *s, ptr_int_list c)
Definition: print.c:147
WFFeatures
char ** WFFeatures(ptr_psi_term psi)
Definition: lib.c:364
do_currying
void do_currying()
Definition: lefun.c:359
global_one
void global_one(ptr_psi_term t)
Definition: built_ins.c:2482
insert_sys_builtins
void insert_sys_builtins()
Definition: sys.c:1760
insert_type_builtins
void insert_type_builtins()
Definition: bi_type.c:655
load_aim
long load_aim()
Definition: login.c:2104
hash_insert
void hash_insert(ptr_hash_table table, char *symbol, ptr_keyword keyword)
Definition: hash_table.c:155
assert_attributes
void assert_attributes(ptr_psi_term t)
Definition: types.c:468
heap_nice_name
char * heap_nice_name()
Definition: print.c:55
begin_terminal_io
void begin_terminal_io()
Definition: token.c:410
perr_sort
void perr_sort(ptr_definition d)
Definition: types.c:876
Syntaxerrorline
void Syntaxerrorline(char *format,...)
Definition: error.c:498
wl_parse_block
Definition: def_struct.h:371
init_copy
void init_copy()
Definition: copy.c:34
work_out_length
void work_out_length()
Definition: print.c:557
nonint_warning
long nonint_warning(ptr_psi_term arg, REAL val, char *msg)
Definition: error.c:810
name
char * name
Definition: def_glob.h:325
release_resid_main
void release_resid_main(ptr_psi_term t, long trailflag)
Definition: lefun.c:384
display_couple
void display_couple(ptr_psi_term u, char *s, ptr_psi_term v)
Definition: print.c:1516
check_gamma_code
void check_gamma_code()
Definition: memory.c:1008
print_def_type
void print_def_type(def_type t)
Definition: types.c:21
check_pointer
void check_pointer(ptr_psi_term p)
Definition: print.c:214
call_primitive
long call_primitive(long(*fun)(), int num, psi_arg argi[], GENERIC info)
crunch
void crunch(long prec, long limit)
Definition: parser.c:636
declare_operator
long declare_operator(ptr_psi_term t)
Definition: built_ins.c:5114
quotedStackCopy
ptr_psi_term quotedStackCopy(psi_term p)
Definition: bi_sys.c:436
residuate_double
void residuate_double(ptr_psi_term t, ptr_psi_term u)
Definition: lefun.c:95
make_type_link
void make_type_link(ptr_definition t1, ptr_definition t2)
Definition: types.c:848
num_vars
long num_vars(ptr_node vt)
Definition: login.c:1861
c_random
long c_random()
Definition: built_ins.c:5626
what_next_cut
long what_next_cut()
Definition: login.c:1872
prove_aim
long prove_aim()
Definition: login.c:1545
least_sorts
void least_sorts()
Definition: types.c:700
no_quote
long no_quote(char *s)
Definition: print.c:423
start_chrono
void start_chrono()
Definition: login.c:330
init_global_vars
void init_global_vars()
Definition: lefun.c:1337
release_resid_notrail
void release_resid_notrail(ptr_psi_term t)
Definition: lefun.c:420
pretty_tag_or_psi_term
void pretty_tag_or_psi_term(ptr_psi_term p, long sprec, long depth)
Definition: print.c:761
abort_life
long abort_life(int nlflag)
Definition: built_ins.c:2124
insert_variables
void insert_variables(ptr_node vars, long force)
Definition: print.c:281
fail_all
void fail_all()
Definition: memory.c:165
wl_resid_list
Definition: def_struct.h:59
merge
void merge(ptr_node *u, ptr_node v)
Definition: login.c:1061
c_put_raw
long c_put_raw()
Definition: raw.c:205
push_def_ptr_value
void push_def_ptr_value(ptr_psi_term q, GENERIC *p)
Definition: login.c:389
lub
ptr_int_list lub(ptr_psi_term a, ptr_psi_term b, ptr_psi_term *pp)
Definition: lub.c:150
exit_life
void exit_life(long nl_flag)
Definition: built_ins.c:2090
pretty_variables
void pretty_variables(ptr_node n, ptr_tab_brk tab)
Definition: print.c:1221
c_initrandom
long c_initrandom()
Definition: built_ins.c:5690
heap_copy_psi_term
ptr_psi_term heap_copy_psi_term(psi_term t)
Definition: parser.c:202
init_print
void init_print()
Definition: print.c:48
match_attr3
void match_attr3(ptr_node *u, ptr_node v, ptr_resid_block rb)
Definition: lefun.c:643
insert_translation
void insert_translation(ptr_psi_term a, ptr_psi_term b, long info)
Definition: copy.c:63
wl_keyword
Definition: def_struct.h:89
init_memory
void init_memory()
Definition: memory.c:1572
stack_psi_term
ptr_psi_term stack_psi_term(long stat)
Definition: lefun.c:15
heap_insert_copystr
void heap_insert_copystr(char *keystr, ptr_node *tree, GENERIC info)
Definition: trees.c:245
propagate_definitions
void propagate_definitions()
Definition: types.c:622
deref_rec_eval
long deref_rec_eval(ptr_psi_term t)
Definition: lefun.c:1123
clause_aim
long clause_aim(long r)
Definition: login.c:1775
new_definition
ptr_definition new_definition(ptr_keyword key)
Definition: modules.c:215
toggle_trace
void toggle_trace()
Definition: error.c:644
extract_module_from_name
ptr_module extract_module_from_name(char *str)
Definition: modules.c:111
report_error
void report_error(ptr_psi_term g, char *s)
Definition: error.c:718
c_current_module
long c_current_module()
Definition: modules.c:956
check_type
long check_type(ptr_psi_term t)
Definition: lefun.c:922
shift_warning
long shift_warning(long dir, ptr_psi_term arg, REAL val)
Definition: error.c:867
init_parse_state
void init_parse_state()
Definition: token.c:381
pred_write
void pred_write(ptr_node n)
Definition: print.c:1365
residListGoalQuote
ptr_psi_term residListGoalQuote(ptr_residuation p)
Definition: bi_sys.c:451
residuate3
void residuate3(ptr_psi_term u, ptr_psi_term v, ptr_psi_term w)
Definition: lefun.c:142
List_SetLinkProc
void List_SetLinkProc(RefListHeader header, RefListGetLinksProc getLinks)
Definition: list.c:21
wl_resid_block
Definition: def_struct.h:246
file_exists
long file_exists(char *s)
Definition: built_ins.c:1622
report_error2_main
void report_error2_main(ptr_psi_term g, char *s, char *s2)
Definition: error.c:755
symbolic
long symbolic(long c)
Definition: token.c:850
all_symbol
long all_symbol(char *s)
Definition: print.c:397
goals
long goals
Definition: def_struct.h:21
reset_stacks
void reset_stacks()
Definition: login.c:1924
c_glb
long c_glb()
Definition: bi_type.c:553
clean_undo_window
void clean_undo_window(long disp, long wind)
Definition: login.c:792
GetStrOption
char * GetStrOption(char *name, char *def)
Definition: memory.c:33
insert_dbm_builtins
void insert_dbm_builtins()
find_adults
void find_adults()
Definition: types.c:516
c_private_feature
long c_private_feature()
Definition: modules.c:1288
type_member
long type_member(ptr_definition t, ptr_int_list tlst)
Definition: types.c:864
bit_or_warning
long bit_or_warning(ptr_psi_term arg, REAL val)
Definition: error.c:831
strpos
long strpos(long pos, char *str)
Definition: print.c:540
read_comment
void read_comment(ptr_psi_term tok)
Definition: token.c:676
find
ptr_node find(long comp, char *keystr, ptr_node tree)
Definition: trees.c:341
dummy_printf
int dummy_printf(char *f, char *s, char *t)
Definition: login.c:2482
eval_aim
long eval_aim()
Definition: lefun.c:456
match_attr1
void match_attr1(ptr_node *u, ptr_node v, ptr_resid_block rb)
Definition: lefun.c:552
save_resid
void save_resid(ptr_resid_block rb, ptr_psi_term match_date)
Definition: lefun.c:1256
stack_copy_psi_term
ptr_psi_term stack_copy_psi_term(psi_term t)
Definition: parser.c:183
featcmp
long featcmp(char *str1, char *str2)
Definition: trees.c:89
mark_eval
void mark_eval(ptr_psi_term t)
Definition: copy.c:452
deref_rec_args_exc
void deref_rec_args_exc(ptr_node n, long set)
Definition: lefun.c:1203
restore_state
void restore_state(ptr_psi_term t)
Definition: token.c:267
outputline
void outputline(char *format,...)
Definition: error.c:79
base2int
int base2int(int n)
Definition: token.c:705
c_trace_input
long c_trace_input()
Definition: modules.c:795
WFType
char * WFType(ptr_psi_term psi)
Definition: lib.c:350
str_to_int
long str_to_int(char *s)
Definition: print.c:103
unify_real_result
long unify_real_result(ptr_psi_term t, REAL v)
Definition: built_ins.c:371
wl_definition
Definition: def_struct.h:121
push_window
void push_window(long type, long disp, long wind)
Definition: login.c:510
c_alias
long c_alias()
Definition: modules.c:1164
prettyf
void prettyf(char *s)
Definition: print.c:447
encode_types
void encode_types()
Definition: types.c:1015
deref_eval
long deref_eval(ptr_psi_term t)
Definition: lefun.c:1087
merge3
void merge3(ptr_node *u, ptr_node v)
Definition: login.c:934
check_definition
void check_definition(ptr_definition *d)
Definition: memory.c:612
copyTypeCode
ptr_int_list copyTypeCode(ptr_int_list u)
Definition: types.c:760
main
int main(int argc, char *argv[])
Definition: life.c:40
List_Cut
void List_Cut(RefListHeader header, Ref atom, RefListHeader newHeader)
Definition: list.c:429
propagate_always_check
void propagate_always_check(ptr_definition d, long *ch)
Definition: types.c:950
i_eval_args
long i_eval_args(ptr_node n)
Definition: lefun.c:817
List_InsertBefore
void List_InsertBefore(RefListHeader header, Ref atom, Ref mark)
Definition: list.c:89
residListNext
GENERIC residListNext(ptr_residuation p)
Definition: bi_sys.c:462
clear_already_loaded
void clear_already_loaded(ptr_node n)
Definition: types.c:326
is_integer
long is_integer(char *s)
Definition: print.c:408
List_EnumBack
long List_EnumBack(RefListHeader header, RefListEnumProc proc, Ref closure)
Definition: list.c:389
isValue
long isValue(ptr_psi_term p)
Definition: bi_type.c:541
main_prove
void main_prove()
Definition: login.c:2205
deref_args_eval
long deref_args_eval(ptr_psi_term t, long set)
Definition: lefun.c:1175
quote_copy
ptr_psi_term quote_copy(ptr_psi_term t, long heap_flag)
Definition: copy.c:200
new_state
void new_state(ptr_psi_term *t)
Definition: token.c:301
c_quiet
long c_quiet()
Definition: bi_sys.c:155
topmost_what_next
ptr_choice_point topmost_what_next()
Definition: login.c:1907
mark_ancestors
void mark_ancestors(ptr_definition def, long *flags)
Definition: lub.c:45
ptr_psi_term
struct wl_psi_term * ptr_psi_term
Definition: def_struct.h:34
handle_interrupt
void handle_interrupt()
Definition: interrupt.c:43
read_token_b
void read_token_b(ptr_psi_term tok)
Definition: token.c:1069
raw_setup_builtins
void raw_setup_builtins()
Definition: raw.c:327
save_state
void save_state(ptr_psi_term t)
Definition: token.c:230
stack_info
void stack_info(FILE *outfile)
Definition: error.c:58
go_through
void go_through(ptr_psi_term t)
Definition: print.c:258
new_built_in
void new_built_in(ptr_module m, char *s, def_type t, long(*r)())
Definition: built_ins.c:5054
check_func
void check_func(ptr_psi_term t)
Definition: lefun.c:861
group_features
char ** group_features(char **f, ptr_node n)
Definition: lib.c:22
sub_CodeType
long sub_CodeType(ptr_int_list c1, ptr_int_list c2)
Definition: types.c:1522
c_private
long c_private()
Definition: modules.c:697
wl_ListHeader
Definition: def_struct.h:280
print_variables
long print_variables(long printflag)
Definition: print.c:1272
mark_quote_tree
void mark_quote_tree(ptr_node t)
Definition: copy.c:616
List_Enum
long List_Enum(RefListHeader header, RefListEnumProc proc, Ref closure)
Definition: list.c:341
read_char
long read_char()
Definition: token.c:587
global_error_check
void global_error_check(ptr_node n, int *error, int *eval2)
Definition: built_ins.c:2428
c_deref_length
long c_deref_length()
Definition: built_ins.c:5743
mod_warning
long mod_warning(ptr_psi_term arg, REAL val, int zero)
Definition: error.c:852
translate
ptr_psi_term translate(ptr_psi_term a, long **infoptr)
Definition: copy.c:101
new_step
void new_step(long newstep)
Definition: error.c:629
c_replace
long c_replace()
Definition: modules.c:917
report_error_main
void report_error_main(ptr_psi_term g, char *s, char *s2)
Definition: error.c:700
text_buffer_free
void text_buffer_free(struct text_buffer *buf)
Definition: sys.c:795
WFGetDouble
double WFGetDouble(ptr_psi_term psi, int *ok)
Definition: lib.c:387
undo_actions
void undo_actions()
Definition: login.c:690
glb_code
long glb_code(long f1, GENERIC c1, long f2, GENERIC c2, long *f3, GENERIC *c3)
Definition: types.c:1263
mark_tab
void mark_tab(ptr_tab_brk t)
Definition: print.c:513
RefListEnumProc
int(* RefListEnumProc)()
Definition: def_struct.h:262
inherit_always_check
void inherit_always_check()
Definition: types.c:994
c_get_raw
long c_get_raw()
Definition: raw.c:103
check_psi_term
void check_psi_term(ptr_psi_term *t)
Definition: memory.c:920
assert_rule
void assert_rule(psi_term t, def_type typ)
Definition: login.c:237
get_attr
GENERIC get_attr(ptr_psi_term t, char *attrname)
Definition: token.c:210
open_module_tree
void open_module_tree(ptr_node n, int *onefailed)
Definition: modules.c:533
update_feature
ptr_definition update_feature(ptr_module module, char *feature)
Definition: modules.c:1315
look
long look()
Definition: parser.c:146
add_rule
void add_rule(ptr_psi_term head, ptr_psi_term body, def_type typ)
Definition: login.c:148
stack_bytes
ptr_psi_term stack_bytes(char *s, int n)
Definition: built_ins.c:117
List_Remove
void List_Remove(RefListHeader header, Ref atom)
Definition: list.c:230
check_opargs
long check_opargs(ptr_node n)
Definition: print.c:815
warningline
void warningline(char *format,...)
Definition: error.c:327
find_module
ptr_module find_module(char *module)
Definition: modules.c:48
init_modules
void init_modules()
Definition: modules.c:30
wl_node
Definition: def_struct.h:181
equalize_codes
void equalize_codes(int len)
Definition: types.c:806
disjunct_aim
long disjunct_aim()
Definition: login.c:1525
go_through_tree
void go_through_tree(ptr_node t)
Definition: print.c:236
traverse_tree
void traverse_tree(ptr_node n, int flag)
Definition: modules.c:640
heap_mod_int_attr
void heap_mod_int_attr(ptr_psi_term t, char *attrname, long value)
Definition: token.c:91
appendIntList
ptr_int_list appendIntList(ptr_int_list tail, ptr_int_list more)
Definition: lub.c:28
memory_check
long memory_check()
Definition: memory.c:1622
check_sys_definitions
void check_sys_definitions()
Definition: sys.c:1740
stdin_cleareof
void stdin_cleareof()
Definition: token.c:42
prettyf_quote
void prettyf_quote(char *s)
Definition: print.c:474
global_unify_attr
int global_unify_attr(ptr_node u, ptr_node v)
Definition: modules.c:1117
GENERIC
unsigned long * GENERIC
Definition: def_struct.h:17
has_rules
long has_rules(ptr_pair_list r)
Definition: built_ins.c:4799
match_aim
long match_aim()
Definition: lefun.c:712
c_sub_string
long c_sub_string()
Definition: built_ins.c:5444
int_div_warning
long int_div_warning(ptr_psi_term arg, REAL val)
Definition: error.c:845
num_choices
long num_choices()
Definition: login.c:1845
WFGetVar
PsiTerm WFGetVar(char *name)
Definition: lib.c:297
mark_eval_new
void mark_eval_new(ptr_psi_term t)
Definition: copy.c:479
bad_psi_term
int bad_psi_term(ptr_psi_term t)
Definition: parser.c:20
merge2
void merge2(ptr_node *u, ptr_node v)
Definition: login.c:884
c_window_flag
long c_window_flag()
Definition: raw.c:284
bk_mark_quote
void bk_mark_quote(ptr_psi_term t)
Definition: copy.c:630
merge1
void merge1(ptr_node *u, ptr_node v)
Definition: login.c:833
type_ptr
long type_ptr
Definition: def_const.h:169
match_attr2
void match_attr2(ptr_node *u, ptr_node v, ptr_resid_block rb)
Definition: lefun.c:592
title
void title()
Definition: info.c:31
expand_file_name
char * expand_file_name(char *s)
Definition: token.c:449
heap_add_psi_attr
void heap_add_psi_attr(ptr_psi_term t, char *attrname, ptr_psi_term g)
Definition: token.c:184
new_trace
void new_trace(long newtrace)
Definition: error.c:619
c_trace
long c_trace()
Definition: bi_sys.c:20
all_public_symbols
long all_public_symbols()
Definition: modules.c:1349
mark_quote_tree_new
void mark_quote_tree_new(ptr_node n)
Definition: copy.c:581
check_legal_cons
long check_legal_cons(ptr_psi_term t, ptr_definition t_type)
Definition: print.c:642
check_definition_list
void check_definition_list()
Definition: memory.c:648
open_input_file
long open_input_file(char *file)
Definition: token.c:504
remove_cycles
void remove_cycles(ptr_definition d, ptr_int_list *dl)
Definition: types.c:73
is_built_in
long is_built_in(ptr_pair_list r)
Definition: built_ins.c:4811
set_current_module
ptr_module set_current_module(ptr_module module)
Definition: modules.c:95
append_files
long append_files(char *s1, char *s2)
Definition: built_ins.c:5211
vinfoline
void vinfoline(char *format, FILE *outfile,...)
assert_clause
void assert_clause(ptr_psi_term t)
Definition: login.c:267
check_attr
void check_attr(ptr_node *n)
Definition: memory.c:985
print_operator_kind
void print_operator_kind(FILE *s, long kind)
Definition: print.c:173
GoalFromPsiTerm
ptr_goal GoalFromPsiTerm(ptr_psi_term psiTerm)
perr_i
void perr_i(char *str, long i)
Definition: error.c:677
what_next_aim
long what_next_aim()
Definition: login.c:1942
persistent_one
void persistent_one(ptr_psi_term t)
Definition: built_ins.c:2577
i_check_out
long i_check_out(ptr_psi_term t)
Definition: lefun.c:985
Ref
void * Ref
Definition: def_struct.h:258
init_interrupt
void init_interrupt()
Definition: interrupt.c:28
heap_alloc
GENERIC heap_alloc(long s)
Definition: memory.c:1518
intListNext
GENERIC intListNext(ptr_int_list p)
Definition: bi_sys.c:430
bit_and_warning
long bit_and_warning(ptr_psi_term arg, REAL val)
Definition: error.c:824
stack_insert_copystr
void stack_insert_copystr(char *keystr, ptr_node *tree, GENERIC info)
Definition: trees.c:260
List_Card
long List_Card(RefListHeader header)
Definition: list.c:410
stack_alloc
GENERIC stack_alloc(long s)
Definition: memory.c:1542
GetBoolOption
int GetBoolOption(char *name)
Definition: memory.c:54
c_begin_raw
long c_begin_raw()
Definition: raw.c:32
collect_symbols
ptr_psi_term collect_symbols(long sel)
Definition: built_ins.c:3446
open_module_one
void open_module_one(ptr_psi_term t, int *onefailed)
Definition: modules.c:550
unify_body
long unify_body(long eval_flag)
Definition: login.c:1269
pretty_psi_with_ops
long pretty_psi_with_ops(ptr_psi_term t, long sprec, long depth)
Definition: print.c:866
in_set
long in_set(char *str, long set)
Definition: lefun.c:1192
two_or_more
long two_or_more(ptr_node t)
Definition: print.c:1165
assert_args_not_eval
void assert_args_not_eval(ptr_node n)
Definition: types.c:273
new_tab
void new_tab(ptr_tab_brk *t)
Definition: print.c:525
clear_coding
void clear_coding()
Definition: types.c:685
make_feature_list
ptr_psi_term make_feature_list(ptr_node tree, ptr_psi_term tail, ptr_module module, int val)
Definition: built_ins.c:156
make_feature_private
int make_feature_private(ptr_psi_term term)
Definition: modules.c:1239
List_InsertAfter
void List_InsertAfter(RefListHeader header, Ref atom, Ref mark)
Definition: list.c:119
type_cyclicity
long type_cyclicity(ptr_definition d, ptr_int_list anc)
Definition: types.c:907
pchoices
void pchoices()
Definition: memory.c:81
read_string_error
void read_string_error(int n)
Definition: token.c:689
bk_mark_quote_tree
void bk_mark_quote_tree(ptr_node t)
Definition: copy.c:647
stack_string
ptr_psi_term stack_string(char *s)
Definition: built_ins.c:102