static void initParsetable(unsigned const char* tableBaf, size_t tableSize) { if (tableBaf != NULL) { ATerm parseTable = ATreadFromBinaryString(tableBaf, tableSize); if (parseTable != NULL) { setParseTable(PTBL_ParseTableFromTerm(parseTable)); } } }
void init_acdata_dict() { ATermList afuns, terms; _acdata_dict = (ATermList)ATreadFromBinaryString(_acdata_dict_baf, _acdata_dict_LEN); ATprotect((ATerm *)&_acdata_dict); afuns = (ATermList)ATelementAt(_acdata_dict, 0); terms = (ATermList)ATelementAt(_acdata_dict, 1); }
void init_terms_dict() { ATermList afuns, terms; _terms_dict = ATreadFromBinaryString(_terms_dict_baf, _terms_dict_LEN); ATprotect(&_terms_dict); afuns = (ATermList)ATelementAt((ATermList)_terms_dict, 0); terms = (ATermList)ATelementAt((ATermList)_terms_dict, 1); AnnotatedTrueAndFalse = ATgetFirst(terms); terms = ATgetNext(terms); DeclareA = ATgetFirst(terms); terms = ATgetNext(terms); DeclareAB = ATgetFirst(terms); terms = ATgetNext(terms); DeclareB = ATgetFirst(terms); terms = ATgetNext(terms); False = ATgetFirst(terms); terms = ATgetNext(terms); OtherTrueAndFalse = ATgetFirst(terms); terms = ATgetNext(terms); Ten = ATgetFirst(terms); terms = ATgetNext(terms); True = ATgetFirst(terms); terms = ATgetNext(terms); TrueAndFalse = ATgetFirst(terms); terms = ATgetNext(terms); Twenty = ATgetFirst(terms); terms = ATgetNext(terms); Two = ATgetFirst(terms); terms = ATgetNext(terms); dummy = ATgetFirst(terms); terms = ATgetNext(terms); }
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); }
void init_AIL_dict() { ATermList afuns, terms; _AIL_dict = (ATermList)ATreadFromBinaryString(_AIL_dict_baf, _AIL_dict_LEN); ATprotect((ATerm *)&_AIL_dict); afuns = (ATermList)ATelementAt(_AIL_dict, 0); AIL_afun0 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun1 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun2 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun3 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun4 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun5 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun6 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun7 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun8 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun9 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun10 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun11 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun12 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun13 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun14 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun15 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun16 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun17 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun18 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun19 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun20 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun21 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun22 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun23 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun24 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun25 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun26 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun27 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun28 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun29 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun30 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun31 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun32 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun33 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun34 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun35 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun36 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun37 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun38 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun39 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun40 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun41 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun42 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun43 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun44 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); AIL_afun45 = ATgetAFun((ATermAppl)ATgetFirst(afuns)); afuns = ATgetNext(afuns); terms = (ATermList)ATelementAt(_AIL_dict, 1); AIL_patternStatementListMany = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternStatementListSingle = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternStatementListEmpty = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternProgramProgram = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternArgLabel = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternArgAterm = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternArgCode = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternArgNumber = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternStatementInstruction = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternStatementLabelDef = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternInstructionWithArg = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternInstructionWithoutArg = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternSignatureListMany = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternSignatureListSingle = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternSignatureListEmpty = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternDefinitionDefault = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternSignatureWithoutPattern = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternSignatureWithPattern = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternPatternCode = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternPatternLabel = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternPatternAterm = ATgetFirst(terms); terms = ATgetNext(terms); AIL_patternPatternInt = ATgetFirst(terms); terms = ATgetNext(terms); }