OpenXM_contrib2/asir2018/builtin/gr.c - diff

Return to gr.c CVS log

Up to [local] / OpenXM_contrib2 / asir2018 / builtin

version 1.2, 2018/09/28 08:20:27

version 1.3, 2020/02/03 05:51:52

Line 45

* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,

* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.

* $OpenXM: OpenXM_contrib2/asir2018/builtin/gr.c,v 1.1 2018/09/19 05:45:06 noro Exp $

* $OpenXM: OpenXM_contrib2/asir2018/builtin/gr.c,v 1.2 2018/09/28 08:20:27 noro Exp $

#include "ca.h"

#include "parse.h"

Line 99 int GenSyz = 0;

int OXCheck = -1;

int OneZeroHomo = 0;

int MaxDeg = 0;

int NaiveSchreyer = 0;

int NoSugar = 0;

static int NoCriB = 0;

Line 2333 void dp_set_flag(Obj name,Obj value)

Line 2334 void dp_set_flag(Obj name,Obj value)

OneZeroHomo = v;

else if ( !strcmp(n,"MaxDeg") )

MaxDeg = v;

else if ( !strcmp(n,"NaiveSchreyer") )

NaiveSchreyer = v;

}

void dp_make_flaglist(LIST *list)

Line 2361 void dp_make_flaglist(LIST *list)

Line 2364 void dp_make_flaglist(LIST *list)

STOZ(OXCheck,v); MKNODE(n1,v,n); n = n1; MKSTR(name,"OXCheck"); MKNODE(n1,name,n); n = n1;

STOZ(GenTrace,v); MKNODE(n1,v,n); n = n1; MKSTR(name,"GenTrace"); MKNODE(n1,name,n); n = n1;

STOZ(GenSyz,v); MKNODE(n1,v,n); n = n1; MKSTR(name,"GenSyz"); MKNODE(n1,name,n); n = n1;

STOZ(NaiveSchreyer,v); MKNODE(n1,v,n); n = n1; MKSTR(name,"NaiveSchreyer"); MKNODE(n1,name,n); n = n1;

STOZ(MaxDeg,v); MKNODE(n1,v,n); n = n1; MKSTR(name,"MaxDeg"); MKNODE(n1,name,n); n = n1;

STOZ(OneZeroHomo,v); MKNODE(n1,v,n); n = n1; MKSTR(name,"OneZeroHomo"); MKNODE(n1,name,n); n = n1;

STOZ(PtozpRA,v); MKNODE(n1,v,n); n = n1; MKSTR(name,"PtozpRA"); MKNODE(n1,name,n); n = n1;