Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB.hpp176 static const char * s_formulaSymbolNameStrings[]; member in Parse::SMTLIB
H A DSMTLIB2.hpp208 static const char * s_formulaSymbolNameStrings[]; member in Parse::SMTLIB2
H A DSMTLIB.cpp398 const char * SMTLIB::s_formulaSymbolNameStrings[] = { member in Parse::SMTLIB
422 …static NameArray formulaSymbolNames(s_formulaSymbolNameStrings, sizeof(s_formulaSymbolNameStrings)… in getFormulaSymbol()
669 …+env.sorts->sortName(firstArgSort)+" for interpretation "+vstring(s_formulaSymbolNameStrings[fs])); in getFormulaSymbolInterpretation()
H A DSMTLIB2.cpp696 const char * SMTLIB2::s_formulaSymbolNameStrings[] = { member in Parse::SMTLIB2
719 …static NameArray formulaSymbolNames(s_formulaSymbolNameStrings, sizeof(s_formulaSymbolNameStrings)… in getBuiltInFormulaSymbol()
1184 …+env.sorts->sortName(firstArgSort)+" for interpretation "+vstring(s_formulaSymbolNameStrings[fs])); in getFormulaSymbolInterpretation()