Home
last modified time | relevance | path

Searched refs:builtInSortNames (Results 1 – 2 of 2) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB.cpp388 …static NameArray builtInSortNames(s_builtInSortNameStrings, sizeof(s_builtInSortNameStrings)/sizeo… in getBuiltInSort() local
389 ASS_EQ(builtInSortNames.length, BS_INVALID); in getBuiltInSort()
391 int res = builtInSortNames.tryToFind(str.c_str()); in getBuiltInSort()
H A DSMTLIB2.cpp444 …static NameArray builtInSortNames(s_builtInSortNameStrings, sizeof(s_builtInSortNameStrings)/sizeo… in getBuiltInSortFromString() local
445 ASS_EQ(builtInSortNames.length, BS_INVALID); in getBuiltInSortFromString()
447 int res = builtInSortNames.tryToFind(str.c_str()); in getBuiltInSortFromString()