Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB2.hpp247 bool isAlreadyKnownFunctionSymbol(const vstring& name);
H A DSMTLIB2.cpp761 bool SMTLIB2::isAlreadyKnownFunctionSymbol(const vstring& name) in isAlreadyKnownFunctionSymbol() function in Parse::SMTLIB2
784 if (isAlreadyKnownFunctionSymbol(name)) { in readDeclareFun()
852 if (isAlreadyKnownFunctionSymbol(name)) { in readDefineFun()
1011 if (isAlreadyKnownFunctionSymbol(constrName)) { in buildTermAlgebraConstructor()
1034 if (isAlreadyKnownFunctionSymbol(destructorName)) { in buildTermAlgebraConstructor()