Searched refs:smtlibLogicNames (Results 1 – 1 of 1) sorted by relevance
351 …static NameArray smtlibLogicNames(s_smtlibLogicNameStrings, sizeof(s_smtlibLogicNameStrings)/sizeo… in getLogicFromString() local352 ASS_EQ(smtlibLogicNames.length, SMT_UNDEFINED); in getLogicFromString()354 int res = smtlibLogicNames.tryToFind(str.c_str()); in getLogicFromString()