=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/parse.h,v retrieving revision 1.15 retrieving revision 1.17 diff -u -p -r1.15 -r1.17 --- OpenXM_contrib2/asir2000/parse/parse.h 2001/10/09 01:36:24 1.15 +++ OpenXM_contrib2/asir2000/parse/parse.h 2003/04/02 09:43:33 1.17 @@ -45,7 +45,7 @@ * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. * - * $OpenXM: OpenXM_contrib2/asir2000/parse/parse.h,v 1.14 2001/09/05 09:01:28 noro Exp $ + * $OpenXM: OpenXM_contrib2/asir2000/parse/parse.h,v 1.16 2002/01/28 00:54:44 noro Exp $ */ # if defined(VISUAL) #include @@ -432,6 +432,7 @@ void input_init(FILE *,char *); void asir_terminate(int); void param_init(void); void sprompt(char *); +void cppname_init(); void process_args(int,char **); void sig_init(void); void asir_save_handler(void); @@ -690,7 +691,7 @@ DP_pairs criterion_F( DP_pairs d1 ); NODE updbase(NODE g,int t); NODE /* of index */ remove_reducibles(NODE /* of index */ nd, int newdp ); int dl_redble(DL dl1,DL dl2); -int dl_weight(DL dl); +int dl_weyl_weight(DL dl); int gbcheck(NODE f); int membercheck(NODE f,NODE x); void dp_set_flag(Obj name,Obj value);