Home
last modified time | relevance | path

Searched defs:addRealConstant (Results 1 – 2 of 2) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Kernel/
H A DSignature.cpp365 unsigned Signature::addRealConstant(const vstring& number,bool defaultSort) in addRealConstant() function in Signature
391 unsigned Signature::addRealConstant(const RealConstantType& value) in addRealConstant() function in Signature
/dports/math/vampire/vampire-4.5.1/Parse/
H A DTPTP.cpp4130 unsigned TPTP::addRealConstant(const vstring& name, Set<vstring>& overflow, bool defaultSort) in addRealConstant() function in TPTP