Sindbad~EG File Manager

Current Path : /usr/home/beeson/Otter-Lambda/yyy/
Upload File :
Current File : /usr/home/beeson/Otter-Lambda/yyy/userfunc.h

/* Public functions of Mathpert's user-defined function facility */

#define MAXUSERFUNCTIONS 16
MEXPORT_USERFUNC int enter_definition(term lhs, term rhs, char *printname, char *rhs_name);
MEXPORT_USERFUNC int remove_definition(unsigned f);
MEXPORT_USERFUNC void remove_all_definitions(void);
MEXPORT_USERFUNC int replace_definition(unsigned i, term lhs, term rhs, char *rhs_name); /* replace i-th definition */
MEXPORT_USERFUNC int apply_definition(term t, term *ans);  /* if t is f(u,v) apply defn of f */
MEXPORT_USERFUNC int get_definition(unsigned i, term *lhs, term *rhs);  /* the i-th definition */
MEXPORT_USERFUNC int nuserfunctions(void);     /* return number of definitions in effect */
MEXPORT_USERFUNC int is_defined(unsigned f);   /* return index of the definition */
MEXPORT_USERFUNC char *function_name(unsigned f);  /* print name of several-character function */
MEXPORT_USERFUNC char *get_defnstring(int k);   /* menu string for the k-th function definition */
MEXPORT_USERFUNC unsigned short get_dependencies(int k); /* bit j tells whether function k depends on function j */
MEXPORT_USERFUNC int well_founded(int k); /* return 1 if the k-th definition is a well-founded simple one-variable recursion */
MEXPORT_USERFUNC int definition_in_use(char f[32]);
MEXPORT_USERFUNC void increment_function_inuse(int j);
MEXPORT_USERFUNC void decrement_function_inuse(int j);

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists