Searched refs:_funNames (Results 1 – 2 of 2) sorted by relevance
| /dports/math/vampire/vampire-4.5.1/Kernel/ |
| H A D | Signature.cpp | 295 if (_funNames.find(key, result)) { in addIntegerConstant()
302 _funNames.insert(key,result); in addIntegerConstant()
327 if (_funNames.find(key,result)) { in addRationalConstant()
339 _funNames.insert(key,result); in addRationalConstant()
349 if (_funNames.find(key, result)) { in addRationalConstant()
355 _funNames.insert(key, result); in addRationalConstant()
375 if (_funNames.find(key,result)) { in addRealConstant()
387 _funNames.insert(key,result); in addRealConstant()
397 if (_funNames.find(key, result)) { in addRealConstant()
403 _funNames.insert(key, result); in addRealConstant()
[all …]
|
| H A D | Signature.hpp | 543 SymbolMap _funNames; member in Kernel::Signature
|