Home
last modified time | relevance | path

Searched refs:s_termSymbolNameStrings (Results 1 – 4 of 4) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB.hpp191 static const char * s_termSymbolNameStrings[]; member in Parse::SMTLIB
H A DSMTLIB2.hpp237 static const char * s_termSymbolNameStrings[]; member in Parse::SMTLIB2
H A DSMTLIB.cpp432 const char * SMTLIB::s_termSymbolNameStrings[] = { member in Parse::SMTLIB
448 …static NameArray termSymbolNames(s_termSymbolNameStrings, sizeof(s_termSymbolNameStrings)/sizeof(c… in getTermSymbol()
731 …t "+env.sorts->sortName(firstArgSort)+" for interpretation "+vstring(s_termSymbolNameStrings[ts])); in getTermSymbolInterpretation()
H A DSMTLIB2.cpp731 const char * SMTLIB2::s_termSymbolNameStrings[] = { member in Parse::SMTLIB2
751 …static NameArray termSymbolNames(s_termSymbolNameStrings, sizeof(s_termSymbolNameStrings)/sizeof(c… in getBuiltInTermSymbol()
1250 …t "+env.sorts->sortName(firstArgSort)+" for interpretation "+vstring(s_termSymbolNameStrings[ts])); in getTermSymbolInterpretation()