Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB2.cpp903 bool isTrueFun = fun.second; in readDefineFun() local
906 if (isTrueFun) { in readDefineFun()
1542 bool isTrueFun = fun.second; in parseAsUserDefinedSymbol() local
1544 Signature::Symbol* symbol = isTrueFun ? env.signature->getFunction(symbIdx) in parseAsUserDefinedSymbol()
1546 OperatorType* type = isTrueFun ? symbol->fnType() : symbol->predType(); in parseAsUserDefinedSymbol()
1567 if (isTrueFun) { in parseAsUserDefinedSymbol()