OpenXM_contrib2/asir2000/parse/parse.h - diff

Return to parse.h CVS log

Up to [local] / OpenXM_contrib2 / asir2000 / parse

version 1.15, 2001/10/09 01:36:24

version 1.17, 2003/04/02 09:43:33

Line 45

* 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 <time.h>

Line 432 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);

Line 690 DP_pairs criterion_F( DP_pairs d1 );

Line 691 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);