Searched defs:addRealConstant (Results 1 – 2 of 2) sorted by relevance
365 unsigned Signature::addRealConstant(const vstring& number,bool defaultSort) in addRealConstant() function in Signature391 unsigned Signature::addRealConstant(const RealConstantType& value) in addRealConstant() function in Signature
4130 unsigned TPTP::addRealConstant(const vstring& name, Set<vstring>& overflow, bool defaultSort) in addRealConstant() function in TPTP