static void init(void) { current = malloc(sizeof(struct position)); AltFun = ATmakeAFun("alt", 2, ATfalse); ATprotectAFun(AltFun); SomeFun = ATmakeAFun("Some", 1, ATfalse); ATprotectAFun(SomeFun); NoneFun = ATmakeAFun("None", 0, ATfalse); ATprotectAFun(NoneFun); AmbFun = ATmakeAFun("amb", 1, ATfalse); ATprotectAFun(AmbFun); init_cons(); }
void init_Graph_dict() { ATermList afuns, terms; _Graph_dict = ATreadFromBinaryString(_Graph_dict_baf, _Graph_dict_LEN); ATprotect(&_Graph_dict); afuns = (ATermList)ATelementAt((ATermList)_Graph_dict, 0); afun16 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun16); afuns = ATgetNext(afuns); afun15 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun15); afuns = ATgetNext(afuns); afun14 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun14); afuns = ATgetNext(afuns); afun13 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun13); afuns = ATgetNext(afuns); afun39 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun39); afuns = ATgetNext(afuns); afun38 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun38); afuns = ATgetNext(afuns); afun19 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun19); afuns = ATgetNext(afuns); afun37 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun37); afuns = ATgetNext(afuns); afun18 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun18); afuns = ATgetNext(afuns); afun36 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun36); afuns = ATgetNext(afuns); afun17 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun17); afuns = ATgetNext(afuns); afun35 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun35); afuns = ATgetNext(afuns); afun22 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun22); afuns = ATgetNext(afuns); afun40 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun40); afuns = ATgetNext(afuns); afun23 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun23); afuns = ATgetNext(afuns); afun41 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun41); afuns = ATgetNext(afuns); afun20 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun20); afuns = ATgetNext(afuns); afun21 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun21); afuns = ATgetNext(afuns); afun4 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun4); afuns = ATgetNext(afuns); afun5 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun5); afuns = ATgetNext(afuns); afun2 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun2); afuns = ATgetNext(afuns); afun3 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun3); afuns = ATgetNext(afuns); afun0 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun0); afuns = ATgetNext(afuns); afun1 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun1); afuns = ATgetNext(afuns); afun29 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun29); afuns = ATgetNext(afuns); afun28 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun28); afuns = ATgetNext(afuns); afun8 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun8); afuns = ATgetNext(afuns); afun25 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun25); afuns = ATgetNext(afuns); afun24 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun24); afuns = ATgetNext(afuns); afun9 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun9); afuns = ATgetNext(afuns); afun6 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun6); afuns = ATgetNext(afuns); afun27 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun27); afuns = ATgetNext(afuns); afun7 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun7); afuns = ATgetNext(afuns); afun26 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun26); afuns = ATgetNext(afuns); afun31 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun31); afuns = ATgetNext(afuns); afun32 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun32); afuns = ATgetNext(afuns); afun33 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun33); afuns = ATgetNext(afuns); afun34 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun34); afuns = ATgetNext(afuns); afun10 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun10); afuns = ATgetNext(afuns); afun11 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun11); afuns = ATgetNext(afuns); afun12 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun12); afuns = ATgetNext(afuns); afun30 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); ATprotectAFun(afun30); afuns = ATgetNext(afuns); terms = (ATermList)ATelementAt((ATermList)_Graph_dict, 1); }