78 char *
sub_str(
char *s,
long p,
long n);
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);
210 long in_set(
char *str,
long set);
224 void WFInit(
long argc,
char **argv);
235 int main(
int argc,
char *argv[]);
379 void show(
long limit);
391 void crunch(
long prec,
long limit);
420 long strpos(
long pos,
char *str);
518 long intcmp(
long a,
long b);
519 long is_int(
char **s,
long *len,
long *sgn);
520 long featcmp(
char *str1,
char *str2);
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 *);
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);
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);
611 void x_record_polygon (
ListHeader *displaylist,Action action,XPoint *points,
long npoints,
unsigned long function,
unsigned long color,
unsigned long linewidth);
614 void x_record_string (
ListHeader *displaylist,Action action,
long x,
long y,
char *str,Font font,
unsigned long function,
unsigned long color);
617 void x_refresh_window (Display *display,Window window,Pixmap pixmap,GC pixmapgc,
ListHeader *displaylist);
619 void x_free_display_list (
ListHeader *displaylist);
625 void bk_stack_add_int_attr(
ptr_psi_term t,
char *attrname,
long value);
628 long GetIntAttr(
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();
641 long xcSetWindowAttribute();
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();
654 long xcGetGCAttribute();
655 long xcSetGCAttribute();
657 long xcRequestColor();
658 long xcRequestNamedColor();
662 long xcDrawRectangle();
663 long xcFillRectangle();
665 long xcPointsAlloc();
668 long xcDrawPolygon();
669 long xcFillPolygon();
673 long xcDrawImageString();
674 long xcStringWidth();
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);
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);
void mark_quote_new(ptr_psi_term t)
void list_special(ptr_psi_term t)
long hidden_type(ptr_definition t)
long intcmp(long a, long b)
int isSubTypeValue(ptr_psi_term arg1, ptr_psi_term arg2)
void check_disj(ptr_psi_term t)
long opcheck(ptr_psi_term t, long *prec, long *type)
void mark_quote_c(ptr_psi_term t, long heap_flag)
void persistent_tree(ptr_node n)
long f_check_out(ptr_psi_term t)
psi_term list_nil(ptr_definition type)
ptr_keyword hash_lookup(ptr_hash_table table, char *symbol)
void unify_bool_result(ptr_psi_term t, long v)
long trail_condition(psi_term *Q)
void hash_expand(ptr_hash_table table, int new_size)
void report_warning2(ptr_psi_term g, char *s)
long psi_to_string(ptr_psi_term t, char **fn)
void get_two_args(ptr_node t, ptr_psi_term *a, ptr_psi_term *b)
long glb_value(long result, long f, GENERIC c, GENERIC value1, GENERIC value2, GENERIC *value)
void List_InsertAhead(RefListHeader header, Ref atom)
long count_features(ptr_node t)
long open_output_file(char *file)
void undo(ptr_stack limit)
ptr_goal makeGoal(ptr_psi_term p)
void get_one_arg_addr(ptr_node t, ptr_psi_term **a)
void insert_math_builtins()
int global_unify(ptr_psi_term u, ptr_psi_term v)
psi_term make_life_form(ptr_psi_term tok, ptr_psi_term arg1, ptr_psi_term arg2)
char * WFGetString(ptr_psi_term psi, int *ok)
void main_display_psi_term(ptr_psi_term t)
long strict_matches(ptr_psi_term t1, ptr_psi_term t2, long *smaller)
void heap_add_str_attr(ptr_psi_term t, char *attrname, char *str)
void push2_ptr_value(type_ptr t, GENERIC *p, GENERIC v)
void put_back_char(long c)
ptr_node general_insert(long comp, char *keystr, ptr_node *tree, GENERIC info, long heapflag, long copystr, long bkflag)
ptr_psi_term exact_copy(ptr_psi_term t, long heap_flag)
void residuate(ptr_psi_term t)
void listing_pred_write(ptr_node n, long fflag)
long precedence(psi_term tok, long typ)
psi_term read_life_form(char ch1, char ch2)
long check_out(ptr_psi_term t)
void read_token(ptr_psi_term tok)
ptr_psi_term unitListValue()
long do_residuation_user()
void restore_resid(ptr_resid_block rb, ptr_psi_term *match_date)
void exit_if_true(long exitflag)
void mark_quote_new2(ptr_psi_term t)
void report_warning(ptr_psi_term g, char *s)
long glb(ptr_definition t1, ptr_definition t2, ptr_definition *t3, ptr_int_list *c3)
long List_EnumFrom(RefListHeader header, Ref atom, RefListEnumProc proc, Ref closure)
void mark_quote_tree_c(ptr_node n, long heap_flag)
PsiTerm WFGetFeature(ptr_psi_term ps, char *feature)
void persistent_error_check(ptr_node n, int *error)
void text_buffer_push(struct text_buffer **buf, char c)
void push_ptr_value(type_ptr t, GENERIC *p)
psi_term parse_list(ptr_definition typ, char e, char s)
ptr_psi_term real_stack_psi_term(long stat, REAL thereal)
void check_resid_block(ptr_resid_block *rb)
int text_buffer_next(struct text_buffer *buf, int idx, char c, struct text_buffer **rbuf, int *ridx)
void push_choice_point(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c)
void push_goal(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c)
ptr_module create_module(char *module)
ptr_node bk_stack_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
void write_attributes(ptr_node n, ptr_tab_brk tab)
void main_pred_write(ptr_node n)
void List_Concat(RefListHeader header1, RefListHeader header2)
long legal_in_name(long c)
long make_public(ptr_psi_term term, long bool)
void heap_mod_str_attr(ptr_psi_term t, char *attrname, char *str)
ptr_psi_term intListValue(ptr_int_list p)
ptr_node find_data(GENERIC p, ptr_node t)
char * stack_copy_string(char *s)
void rec_replace(ptr_definition old, ptr_definition new, ptr_psi_term term)
ptr_psi_term inc_heap_copy(ptr_psi_term t)
void stack_add_str_attr(ptr_psi_term t, char *attrname, char *str)
int WFfeature_count_loop(ptr_node n)
void assert_type(ptr_psi_term t)
void pretty_attr(ptr_node t, long depth)
long only_arg1(ptr_psi_term t, ptr_psi_term *arg1)
long check_real(ptr_psi_term t, REAL *v, long *n)
void do_pretty_attr(ptr_node t, ptr_tab_brk tab, long *cnt, long two, long depth)
char * make_module_token(ptr_module module, char *str)
void save_parse_state(ptr_parse_block pb)
void TOKEN_ERROR(ptr_psi_term p)
void read_string(ptr_psi_term tok, long e)
long bit_length(ptr_int_list c)
void merge_unify(ptr_node *u, ptr_node v)
void global_tree(ptr_node n)
ptr_psi_term heap_psi_term(long stat)
void delete_attr(char *s, ptr_node *n)
ptr_int_list decode(ptr_int_list c)
ptr_psi_term stack_pair(ptr_psi_term left, ptr_psi_term right)
void display_psi(FILE *s, ptr_psi_term t)
void push_ptr_value_global(type_ptr t, GENERIC *p)
void mark_quote(ptr_psi_term t)
long reportAndAbort(ptr_psi_term g, char *s)
long redefine(ptr_psi_term t)
void deref2_rec_eval(ptr_psi_term t)
void push_psi_ptr_value(ptr_psi_term q, GENERIC *p)
void read_name(ptr_psi_term tok, long ch, long(*f)(), ptr_definition typ)
ptr_psi_term makePsiTerm(ptr_definition x)
void replace_attr(ptr_node old_attr, ptr_psi_term term, ptr_definition old, ptr_definition new)
void push(psi_term tok, long prec, long op)
void restore_parse_state(ptr_parse_block pb)
long has_non_alpha(char *s)
void display_psi_stream(ptr_psi_term t)
long List_IsUnlink(RefListLinks links)
void pretty_symbol(ptr_keyword k)
char * sub_str(char *s, long p, long n)
int hash_find(ptr_hash_table table, char *symbol)
void prettyf_quoted_string(char *s)
ptr_node distinct_tree(ptr_node t)
ptr_psi_term stack_int(long n)
char * strip_module_name(char *str)
long List_EnumBackFrom(RefListHeader header, Ref atom, RefListEnumProc proc, Ref closure)
void or_codes(ptr_int_list u, ptr_int_list v)
long matches(ptr_definition t1, ptr_definition t2, long *smaller)
void assert_protected(ptr_node n, long prot)
ptr_psi_term fileptr2stream(FILE *fp, ptr_definition typ)
void replace(ptr_definition old, ptr_definition new, ptr_psi_term term)
int GetIntOption(char *name, int def)
long residuateGoalOnVar(ptr_goal g, ptr_psi_term var, ptr_psi_term othervar)
void deref2_eval(ptr_psi_term t)
void nonnum_warning(ptr_psi_term t, ptr_psi_term arg1, ptr_psi_term arg2)
void feature_insert(char *keystr, ptr_node *tree, ptr_psi_term psi)
void append_resid(ptr_psi_term u, ptr_psi_term v)
ptr_hash_table hash_create(int size)
void get_one_arg(ptr_node t, ptr_psi_term *a)
long pred_clause(ptr_psi_term t, long r, ptr_psi_term g)
long bit_not_warning(ptr_psi_term arg, REAL val)
void assert_complicated_type(ptr_psi_term t)
long starts_nonlower(char *s)
void perr_sort_cycle(ptr_int_list anc)
void perr_s(char *s1, char *s2)
void display_psi_stdout(ptr_psi_term t)
ptr_node bk2_stack_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
ptr_psi_term eval_copy(ptr_psi_term t, long heap_flag)
void setUnitList(GENERIC x)
void init_built_in_types()
void WFInit(long argc, char **argv)
void make_sys_type_links()
void report_error2(ptr_psi_term g, char *s)
void mark_nonstrict(ptr_psi_term t)
void read_token_main(ptr_psi_term tok, long for_parser)
char * heap_ncopy_string(char *s, int n)
void display_psi_stderr(ptr_psi_term t)
void List_Append(RefListHeader header, Ref atom)
long assert_less(ptr_psi_term t1, ptr_psi_term t2)
FILE * get_stream(ptr_psi_term t)
void perr_sort_list(ptr_int_list anc)
void eval_global_var(ptr_psi_term t)
long overlap_type(ptr_definition t1, ptr_definition t2)
void pretty_psi_term(ptr_psi_term t, long sprec, long depth)
void put_back_token(psi_term t)
void insert_system_builtins()
ptr_psi_term copy(ptr_psi_term t, long copy_flag, long heap_flag)
ptr_definition update_symbol(ptr_module module, char *symbol)
void insert_own_prop(ptr_definition d)
void read_number(ptr_psi_term tok, long c)
void perr_s2(char *s1, char *s2, char *s3)
long pop(ptr_psi_term tok, long *op)
ptr_node heap_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
ptr_psi_term stack_cons(ptr_psi_term head, ptr_psi_term tail)
char * text_buffer_cmp(struct text_buffer *buf, int idx, char *str)
int get_module(ptr_psi_term psi, ptr_module *module)
long get_real_value(ptr_psi_term t, REAL *v, long *n)
ptr_int_list two_to_the(long p)
void stack_add_psi_attr(ptr_psi_term t, char *attrname, ptr_psi_term g)
void hash_display(ptr_hash_table table)
void release_resid(ptr_psi_term t)
void mark_eval_tree_new(ptr_node n)
void heap_add_int_attr(ptr_psi_term t, char *attrname, long value)
void insert_prop(ptr_definition d, ptr_triple_list prop)
char * str_conc(char *s1, char *s2)
void pretty_list(ptr_psi_term t, long depth)
void deref_rec_body(ptr_psi_term t)
void deref_rec_args(ptr_node n)
long sub_type(ptr_definition t1, ptr_definition t2)
void traceline(char *format,...)
char * print_symbol(ptr_keyword k)
void List_Swap(RefListHeader header, Ref first, Ref second)
void fetch_def(ptr_psi_term u, long allflag)
ptr_psi_term new_psi_term(long numargs, ptr_definition typ, ptr_psi_term **a1, ptr_psi_term **a2)
long c_reset_window_flag()
long c_display_persistent()
void fetch_def_lazy(ptr_psi_term u, ptr_definition old1, ptr_definition old2, ptr_node old1attr, ptr_node old2attr, long old1stat, long old2stat)
void check_hash_table(ptr_hash_table table)
ptr_psi_term distinct_copy(ptr_psi_term t)
long eval_args(ptr_node n)
char * string_val(ptr_psi_term term)
void match_attr(ptr_node *u, ptr_node v, ptr_resid_block rb)
RefListLinks(* RefListGetLinksProc)()
void Errorline(char *format,...)
void pretty_quote_symbol(ptr_keyword k)
char * heap_copy_string(char *s)
void assert_delay_check(ptr_node n)
int WFFeatureCount(ptr_psi_term psi)
long is_int(char **s, long *len, long *sgn)
ptr_int_list cons(GENERIC v, ptr_int_list l)
void forbid_variables(ptr_node n)
void stack_add_int_attr(ptr_psi_term t, char *attrname, long value)
void one_pass_always_check(long *ch)
long get_arg(ptr_psi_term g, ptr_psi_term *arg, char *number)
void print_gc_info(long timeflag)
ptr_psi_term makePsiList(GENERIC head, ptr_psi_term(*valueFunc)(), GENERIC(*nextFunc)())
void List_Reverse(RefListHeader header)
void bk_stack_add_psi_attr(ptr_psi_term t, char *attrname, ptr_psi_term g)
void residuate2(ptr_psi_term u, ptr_psi_term v)
ptr_node stack_insert(long comp, char *keystr, ptr_node *tree, GENERIC info)
void set_trace_to_prove()
void infoline(char *format,...)
int hash_code(ptr_hash_table table, char *symbol)
void print_resid_message(ptr_psi_term t, ptr_resid_list r)
long count_sorts(long c0)
void prettyf_inner(char *s, long q, char c)
void print_code(FILE *s, ptr_int_list c)
char ** WFFeatures(ptr_psi_term psi)
void global_one(ptr_psi_term t)
void insert_sys_builtins()
void insert_type_builtins()
void hash_insert(ptr_hash_table table, char *symbol, ptr_keyword keyword)
void assert_attributes(ptr_psi_term t)
void perr_sort(ptr_definition d)
void Syntaxerrorline(char *format,...)
long nonint_warning(ptr_psi_term arg, REAL val, char *msg)
void release_resid_main(ptr_psi_term t, long trailflag)
void display_couple(ptr_psi_term u, char *s, ptr_psi_term v)
void print_def_type(def_type t)
void check_pointer(ptr_psi_term p)
long call_primitive(long(*fun)(), int num, psi_arg argi[], GENERIC info)
void crunch(long prec, long limit)
long declare_operator(ptr_psi_term t)
ptr_psi_term quotedStackCopy(psi_term p)
void residuate_double(ptr_psi_term t, ptr_psi_term u)
void make_type_link(ptr_definition t1, ptr_definition t2)
long num_vars(ptr_node vt)
void release_resid_notrail(ptr_psi_term t)
void pretty_tag_or_psi_term(ptr_psi_term p, long sprec, long depth)
long abort_life(int nlflag)
void insert_variables(ptr_node vars, long force)
void merge(ptr_node *u, ptr_node v)
void push_def_ptr_value(ptr_psi_term q, GENERIC *p)
ptr_int_list lub(ptr_psi_term a, ptr_psi_term b, ptr_psi_term *pp)
void exit_life(long nl_flag)
void pretty_variables(ptr_node n, ptr_tab_brk tab)
ptr_psi_term heap_copy_psi_term(psi_term t)
void match_attr3(ptr_node *u, ptr_node v, ptr_resid_block rb)
void insert_translation(ptr_psi_term a, ptr_psi_term b, long info)
ptr_psi_term stack_psi_term(long stat)
void heap_insert_copystr(char *keystr, ptr_node *tree, GENERIC info)
void propagate_definitions()
long deref_rec_eval(ptr_psi_term t)
ptr_definition new_definition(ptr_keyword key)
ptr_module extract_module_from_name(char *str)
void report_error(ptr_psi_term g, char *s)
long check_type(ptr_psi_term t)
long shift_warning(long dir, ptr_psi_term arg, REAL val)
void pred_write(ptr_node n)
ptr_psi_term residListGoalQuote(ptr_residuation p)
void residuate3(ptr_psi_term u, ptr_psi_term v, ptr_psi_term w)
void List_SetLinkProc(RefListHeader header, RefListGetLinksProc getLinks)
long file_exists(char *s)
void report_error2_main(ptr_psi_term g, char *s, char *s2)
void clean_undo_window(long disp, long wind)
char * GetStrOption(char *name, char *def)
void insert_dbm_builtins()
long type_member(ptr_definition t, ptr_int_list tlst)
long bit_or_warning(ptr_psi_term arg, REAL val)
long strpos(long pos, char *str)
void read_comment(ptr_psi_term tok)
ptr_node find(long comp, char *keystr, ptr_node tree)
int dummy_printf(char *f, char *s, char *t)
void match_attr1(ptr_node *u, ptr_node v, ptr_resid_block rb)
void save_resid(ptr_resid_block rb, ptr_psi_term match_date)
ptr_psi_term stack_copy_psi_term(psi_term t)
long featcmp(char *str1, char *str2)
void mark_eval(ptr_psi_term t)
void deref_rec_args_exc(ptr_node n, long set)
void restore_state(ptr_psi_term t)
void outputline(char *format,...)
char * WFType(ptr_psi_term psi)
long unify_real_result(ptr_psi_term t, REAL v)
void push_window(long type, long disp, long wind)
long deref_eval(ptr_psi_term t)
void merge3(ptr_node *u, ptr_node v)
void check_definition(ptr_definition *d)
ptr_int_list copyTypeCode(ptr_int_list u)
int main(int argc, char *argv[])
void List_Cut(RefListHeader header, Ref atom, RefListHeader newHeader)
void propagate_always_check(ptr_definition d, long *ch)
long i_eval_args(ptr_node n)
void List_InsertBefore(RefListHeader header, Ref atom, Ref mark)
GENERIC residListNext(ptr_residuation p)
void clear_already_loaded(ptr_node n)
long List_EnumBack(RefListHeader header, RefListEnumProc proc, Ref closure)
long isValue(ptr_psi_term p)
long deref_args_eval(ptr_psi_term t, long set)
ptr_psi_term quote_copy(ptr_psi_term t, long heap_flag)
void new_state(ptr_psi_term *t)
ptr_choice_point topmost_what_next()
void mark_ancestors(ptr_definition def, long *flags)
struct wl_psi_term * ptr_psi_term
void read_token_b(ptr_psi_term tok)
void raw_setup_builtins()
void save_state(ptr_psi_term t)
void stack_info(FILE *outfile)
void go_through(ptr_psi_term t)
void new_built_in(ptr_module m, char *s, def_type t, long(*r)())
void check_func(ptr_psi_term t)
char ** group_features(char **f, ptr_node n)
long sub_CodeType(ptr_int_list c1, ptr_int_list c2)
long print_variables(long printflag)
void mark_quote_tree(ptr_node t)
long List_Enum(RefListHeader header, RefListEnumProc proc, Ref closure)
void global_error_check(ptr_node n, int *error, int *eval2)
long mod_warning(ptr_psi_term arg, REAL val, int zero)
ptr_psi_term translate(ptr_psi_term a, long **infoptr)
void new_step(long newstep)
void report_error_main(ptr_psi_term g, char *s, char *s2)
void text_buffer_free(struct text_buffer *buf)
double WFGetDouble(ptr_psi_term psi, int *ok)
long glb_code(long f1, GENERIC c1, long f2, GENERIC c2, long *f3, GENERIC *c3)
void mark_tab(ptr_tab_brk t)
void inherit_always_check()
void check_psi_term(ptr_psi_term *t)
void assert_rule(psi_term t, def_type typ)
GENERIC get_attr(ptr_psi_term t, char *attrname)
void open_module_tree(ptr_node n, int *onefailed)
ptr_definition update_feature(ptr_module module, char *feature)
void add_rule(ptr_psi_term head, ptr_psi_term body, def_type typ)
ptr_psi_term stack_bytes(char *s, int n)
void List_Remove(RefListHeader header, Ref atom)
long check_opargs(ptr_node n)
void warningline(char *format,...)
ptr_module find_module(char *module)
void equalize_codes(int len)
void go_through_tree(ptr_node t)
void traverse_tree(ptr_node n, int flag)
void heap_mod_int_attr(ptr_psi_term t, char *attrname, long value)
ptr_int_list appendIntList(ptr_int_list tail, ptr_int_list more)
void check_sys_definitions()
void prettyf_quote(char *s)
int global_unify_attr(ptr_node u, ptr_node v)
long has_rules(ptr_pair_list r)
long int_div_warning(ptr_psi_term arg, REAL val)
PsiTerm WFGetVar(char *name)
void mark_eval_new(ptr_psi_term t)
int bad_psi_term(ptr_psi_term t)
void merge2(ptr_node *u, ptr_node v)
void bk_mark_quote(ptr_psi_term t)
void merge1(ptr_node *u, ptr_node v)
void match_attr2(ptr_node *u, ptr_node v, ptr_resid_block rb)
char * expand_file_name(char *s)
void heap_add_psi_attr(ptr_psi_term t, char *attrname, ptr_psi_term g)
void new_trace(long newtrace)
long all_public_symbols()
void mark_quote_tree_new(ptr_node n)
long check_legal_cons(ptr_psi_term t, ptr_definition t_type)
void check_definition_list()
long open_input_file(char *file)
void remove_cycles(ptr_definition d, ptr_int_list *dl)
long is_built_in(ptr_pair_list r)
ptr_module set_current_module(ptr_module module)
long append_files(char *s1, char *s2)
void vinfoline(char *format, FILE *outfile,...)
void assert_clause(ptr_psi_term t)
void check_attr(ptr_node *n)
void print_operator_kind(FILE *s, long kind)
ptr_goal GoalFromPsiTerm(ptr_psi_term psiTerm)
void perr_i(char *str, long i)
void persistent_one(ptr_psi_term t)
long i_check_out(ptr_psi_term t)
GENERIC heap_alloc(long s)
GENERIC intListNext(ptr_int_list p)
long bit_and_warning(ptr_psi_term arg, REAL val)
void stack_insert_copystr(char *keystr, ptr_node *tree, GENERIC info)
long List_Card(RefListHeader header)
GENERIC stack_alloc(long s)
int GetBoolOption(char *name)
ptr_psi_term collect_symbols(long sel)
void open_module_one(ptr_psi_term t, int *onefailed)
long unify_body(long eval_flag)
long pretty_psi_with_ops(ptr_psi_term t, long sprec, long depth)
long in_set(char *str, long set)
long two_or_more(ptr_node t)
void assert_args_not_eval(ptr_node n)
void new_tab(ptr_tab_brk *t)
ptr_psi_term make_feature_list(ptr_node tree, ptr_psi_term tail, ptr_module module, int val)
int make_feature_private(ptr_psi_term term)
void List_InsertAfter(RefListHeader header, Ref atom, Ref mark)
long type_cyclicity(ptr_definition d, ptr_int_list anc)
void read_string_error(int n)
void bk_mark_quote_tree(ptr_node t)
ptr_psi_term stack_string(char *s)