|
SMTStabilizer API
Public API documentation for SMTStabilizer
|
#include <number.h>

Public Types | |
| enum | Type { INT_TYPE , REAL_TYPE , UNKNOWN_TYPE } |
Public Member Functions | |
| Number () | |
| Number (const HighPrecisionInteger &i) | |
| Number (const HighPrecisionReal &r) | |
| Number (int i) | |
| Number (double d, bool asInteger=false) | |
| Number (const std::string &s, bool asInteger=false) | |
| Number (const Number &other) | |
| Number & | operator= (const Number &other) |
| ~Number () | |
| bool | isInteger () const |
| bool | isReal () const |
| bool | isUnknown () const |
| Type | getType () const |
| const HighPrecisionInteger & | getInteger () const |
| const HighPrecisionReal & | getReal () const |
| HighPrecisionInteger | toInteger () const |
| HighPrecisionReal | toReal (mpfr_prec_t precision=128) const |
| bool | isZero () const |
| bool | isOne () const |
| bool | isInfinity () const |
| bool | isNegativeInfinity () const |
| bool | isPositiveInfinity () const |
| Number | operator+ (const Number &other) const |
| Number | operator- (const Number &other) const |
| Number | operator- () const |
| Number | operator* (const Number &other) const |
| Number | operator/ (const Number &other) const |
| Number | operator% (const Number &other) const |
| Number & | operator+= (const Number &other) |
| Number & | operator-= (const Number &other) |
| Number & | operator*= (const Number &other) |
| Number & | operator/= (const Number &other) |
| Number & | operator%= (const Number &other) |
| bool | operator== (const Number &other) const |
| bool | operator!= (const Number &other) const |
| bool | operator< (const Number &other) const |
| bool | operator<= (const Number &other) const |
| bool | operator> (const Number &other) const |
| bool | operator>= (const Number &other) const |
| Number & | operator++ () |
| Number | operator++ (int) |
| Number & | operator-- () |
| Number | operator-- (int) |
| Number | operator& (const Number &other) const |
| Number | operator| (const Number &other) const |
| Number | operator^ (const Number &other) const |
| Number | operator~ () const |
| Number | operator<< (unsigned long bits) const |
| Number | operator>> (unsigned long bits) const |
| std::string | toString () const |
| Number | abs () const |
| Number | sqrt () const |
| Number | safeSqrt () const |
| Number | pow (const Number &exp) const |
| Number | ceil () const |
| Number | floor () const |
| Number | round () const |
| Number | exp () const |
| Number | ln () const |
| Number | lg () const |
| Number | lb () const |
| Number | log (const Number &base) const |
| Number | sin () const |
| Number | cos () const |
| Number | tan () const |
| Number | cot () const |
| Number | sec () const |
| Number | csc () const |
| Number | asin () const |
| Number | acos () const |
| Number | atan () const |
| Number | acot () const |
| Number | asec () const |
| Number | acsc () const |
| Number | sinh () const |
| Number | cosh () const |
| Number | tanh () const |
| Number | coth () const |
| Number | sech () const |
| Number | csch () const |
| Number | asinh () const |
| Number | acosh () const |
| Number | atanh () const |
| Number | acoth () const |
| Number | asech () const |
| Number | acsch () const |
| Number | nextBelow () const |
| Number | nextAbove () const |
| bool | isNaN () const |
Static Public Member Functions | |
| static Number | pi (size_t precision=128) |
| static Number | e (size_t precision=128) |
| static Number | phi (size_t precision=128) |
| static Number | ln2 (size_t precision=128) |
| static Number | ln10 (size_t precision=128) |
| static Number | log2_e (size_t precision=128) |
| static Number | log10_e (size_t precision=128) |
| static Number | epsilon (size_t precision=128) |
| static Number | zero () |
| static Number | one () |
| static Number | infinity () |
| static Number | negativeInfinity () |
| static Number | positiveInfinity () |
| static Number | atan2 (const Number &y, const Number &x) |
Static Public Attributes | |
| static Number | ZERO |
| static Number | ONE |
| static Number | INF |
Private Attributes | |
| Type | type |
| HighPrecisionInteger | intValue |
| HighPrecisionReal | realValue |
| stabilizer::parser::Number::Number | ( | ) |
Definition at line 1094 of file number.cpp.
Referenced by abs(), acos(), acosh(), acot(), acoth(), acsc(), acsch(), asec(), asech(), asin(), asinh(), atan(), atan2(), atanh(), ceil(), cos(), cosh(), cot(), coth(), csc(), csch(), e(), epsilon(), exp(), floor(), lb(), lg(), ln(), ln10(), ln2(), log(), log10_e(), log2_e(), nextAbove(), nextBelow(), one(), operator%(), operator*(), operator+(), operator-(), operator-(), operator/(), phi(), pi(), pow(), round(), safeSqrt(), sec(), sech(), sin(), sinh(), sqrt(), tan(), tanh(), and zero().
| stabilizer::parser::Number::Number | ( | const HighPrecisionInteger & | i | ) |
Definition at line 1096 of file number.cpp.
| stabilizer::parser::Number::Number | ( | const HighPrecisionReal & | r | ) |
Definition at line 1098 of file number.cpp.
| stabilizer::parser::Number::Number | ( | int | i | ) |
Definition at line 1100 of file number.cpp.
| stabilizer::parser::Number::Number | ( | double | d, |
| bool | asInteger = false |
||
| ) |
| stabilizer::parser::Number::Number | ( | const std::string & | s, |
| bool | asInteger = false |
||
| ) |
| stabilizer::parser::Number::Number | ( | const Number & | other | ) |
| stabilizer::parser::Number::~Number | ( | ) |
Definition at line 1148 of file number.cpp.
| Number stabilizer::parser::Number::abs | ( | ) | const |
Definition at line 1441 of file number.cpp.
References stabilizer::parser::HighPrecisionInteger::abs(), stabilizer::parser::HighPrecisionReal::abs(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Interval::abs(), stabilizer::parser::Value::abs(), stabilizer::parser::Interval::mod(), stabilizer::parser::Interval::mod(), and stabilizer::parser::Interval::pow().
| Number stabilizer::parser::Number::acos | ( | ) | const |
Definition at line 1601 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::acos(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Interval::acos(), and stabilizer::parser::Value::acos().
| Number stabilizer::parser::Number::acosh | ( | ) | const |
Definition at line 1690 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::acosh(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Interval::acosh(), and stabilizer::parser::Value::acosh().
| Number stabilizer::parser::Number::acot | ( | ) | const |
Definition at line 1615 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::acot(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Value::acot().
| Number stabilizer::parser::Number::acoth | ( | ) | const |
Definition at line 1718 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::acoth(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Value::acoth().
| Number stabilizer::parser::Number::acsc | ( | ) | const |
Definition at line 1629 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::acsc(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Value::acsc().
| Number stabilizer::parser::Number::acsch | ( | ) | const |
Definition at line 1711 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::acsch(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Value::acsch().
| Number stabilizer::parser::Number::asec | ( | ) | const |
Definition at line 1622 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::asec(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Value::asec().
| Number stabilizer::parser::Number::asech | ( | ) | const |
Definition at line 1704 of file number.cpp.
References INT_TYPE, intValue, Number(), realValue, stabilizer::parser::HighPrecisionReal::tanh(), and type.
Referenced by stabilizer::parser::Value::asech().
| Number stabilizer::parser::Number::asin | ( | ) | const |
Definition at line 1594 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::asin(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Interval::asin(), and stabilizer::parser::Value::asin().
| Number stabilizer::parser::Number::asinh | ( | ) | const |
Definition at line 1683 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::asinh(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Interval::asinh(), and stabilizer::parser::Value::asinh().
| Number stabilizer::parser::Number::atan | ( | ) | const |
Definition at line 1608 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::atan(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Interval::acot(), stabilizer::parser::Interval::atan(), and stabilizer::parser::Value::atan().
Definition at line 1636 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::atan2(), Number(), and toReal().
Referenced by stabilizer::parser::Interval::atan2(), stabilizer::parser::Interval::atan2(), and stabilizer::parser::Value::atan2().
| Number stabilizer::parser::Number::atanh | ( | ) | const |
Definition at line 1697 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::atanh(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Interval::atanh(), and stabilizer::parser::Value::atanh().
| Number stabilizer::parser::Number::ceil | ( | ) | const |
Definition at line 1487 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::ceil(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Value::ceil(), stabilizer::parser::Interval::getIntegers(), and stabilizer::parser::Interval::getIntervalIntCount().
| Number stabilizer::parser::Number::cos | ( | ) | const |
Definition at line 1559 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::cos(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Interval::cos(), and stabilizer::parser::Value::cos().
| Number stabilizer::parser::Number::cosh | ( | ) | const |
Definition at line 1648 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::cosh(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Interval::cosh(), and stabilizer::parser::Value::cosh().
| Number stabilizer::parser::Number::cot | ( | ) | const |
Definition at line 1573 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::cot(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Value::cot().
| Number stabilizer::parser::Number::coth | ( | ) | const |
Definition at line 1662 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::coth(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Value::coth().
| Number stabilizer::parser::Number::csc | ( | ) | const |
Definition at line 1587 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::csc(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Value::csc().
| Number stabilizer::parser::Number::csch | ( | ) | const |
Definition at line 1676 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::csch(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Value::csch().
|
static |
Definition at line 1238 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::e(), and Number().
|
static |
Definition at line 1256 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::epsilon(), and Number().
| Number stabilizer::parser::Number::exp | ( | ) | const |
Definition at line 1515 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::exp(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Interval::exp(), stabilizer::parser::Value::exp(), and pow().
| Number stabilizer::parser::Number::floor | ( | ) | const |
Definition at line 1496 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::floor(), INT_TYPE, intValue, Number(), realValue, and type.
Referenced by stabilizer::parser::Value::floor(), stabilizer::parser::Interval::getIntegers(), and stabilizer::parser::Interval::getIntervalIntCount().
| const HighPrecisionInteger & stabilizer::parser::Number::getInteger | ( | ) | const |
Definition at line 1154 of file number.cpp.
| const HighPrecisionReal & stabilizer::parser::Number::getReal | ( | ) | const |
Definition at line 1161 of file number.cpp.
References REAL_TYPE, realValue, and type.
Referenced by isInteger().
|
inline |
|
static |
Definition at line 1189 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::getMPFR(), and realValue.
| bool stabilizer::parser::Number::isInfinity | ( | ) | const |
Definition at line 1216 of file number.cpp.
References INT_TYPE, stabilizer::parser::HighPrecisionReal::isInfinity(), realValue, and type.
Referenced by stabilizer::parser::Interval::cos(), stabilizer::parser::Interval::getIntegers(), stabilizer::parser::Interval::isLeftUnbounded(), stabilizer::parser::Interval::isRightUnbounded(), stabilizer::parser::Interval::pow(), stabilizer::parser::Interval::sin(), and stabilizer::parser::Interval::tan().
|
inline |
Definition at line 312 of file number.h.
References getReal(), INT_TYPE, stabilizer::parser::HighPrecisionReal::isInteger(), isReal(), and type.
Referenced by stabilizer::parser::Interval::getIntervalIntCount(), stabilizer::parser::Interval::pow(), and stabilizer::parser::Interval::pow2().
| bool stabilizer::parser::Number::isNaN | ( | ) | const |
Definition at line 1743 of file number.cpp.
References INT_TYPE, stabilizer::parser::HighPrecisionReal::isNaN(), realValue, and type.
Referenced by stabilizer::parser::Interval::atan2().
| bool stabilizer::parser::Number::isNegativeInfinity | ( | ) | const |
Definition at line 1223 of file number.cpp.
References INT_TYPE, stabilizer::parser::HighPrecisionReal::isNegativeInfinity(), realValue, and type.
Referenced by stabilizer::parser::Interval::exp(), stabilizer::parser::Interval::pow(), and stabilizer::parser::Interval::pow2().
| bool stabilizer::parser::Number::isOne | ( | ) | const |
| bool stabilizer::parser::Number::isPositiveInfinity | ( | ) | const |
Definition at line 1229 of file number.cpp.
References INT_TYPE, stabilizer::parser::HighPrecisionReal::isPositiveInfinity(), realValue, and type.
Referenced by stabilizer::parser::Interval::exp(), stabilizer::parser::Interval::lb(), stabilizer::parser::Interval::lg(), stabilizer::parser::Interval::ln(), stabilizer::parser::Interval::pow(), stabilizer::parser::Interval::pow2(), stabilizer::parser::Interval::safeSqrt(), and stabilizer::parser::Interval::sqrt().
|
inline |
|
inline |
Definition at line 316 of file number.h.
References type, and UNKNOWN_TYPE.
| bool stabilizer::parser::Number::isZero | ( | ) | const |
| Number stabilizer::parser::Number::lb | ( | ) | const |
Definition at line 1536 of file number.cpp.
References INT_TYPE, intValue, stabilizer::parser::HighPrecisionReal::lb(), Number(), realValue, and type.
Referenced by stabilizer::parser::Interval::lb(), and stabilizer::parser::Value::lb().
| Number stabilizer::parser::Number::lg | ( | ) | const |
Definition at line 1529 of file number.cpp.
References INT_TYPE, intValue, stabilizer::parser::HighPrecisionReal::lg(), Number(), realValue, and type.
Referenced by stabilizer::parser::Interval::lg(), and stabilizer::parser::Value::lg().
| Number stabilizer::parser::Number::ln | ( | ) | const |
Definition at line 1522 of file number.cpp.
References INT_TYPE, intValue, stabilizer::parser::HighPrecisionReal::ln(), Number(), realValue, and type.
Referenced by stabilizer::parser::Interval::ln(), and stabilizer::parser::Value::ln().
|
static |
Definition at line 1247 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::ln10(), and Number().
|
static |
Definition at line 1244 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::ln2(), and Number().
Definition at line 1543 of file number.cpp.
References INT_TYPE, intValue, stabilizer::parser::HighPrecisionReal::log(), Number(), realValue, toReal(), and type.
Referenced by stabilizer::parser::Value::log().
|
static |
Definition at line 1253 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::log10_e(), and Number().
|
static |
Definition at line 1250 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::log2_e(), and Number().
|
static |
Definition at line 1194 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::getMPFR(), and realValue.
Referenced by stabilizer::parser::Interval::cot(), stabilizer::parser::Interval::coth(), stabilizer::parser::Interval::csc(), stabilizer::parser::Interval::csch(), stabilizer::parser::Interval::lb(), stabilizer::parser::Interval::lg(), stabilizer::parser::Interval::ln(), stabilizer::parser::Interval::sec(), and stabilizer::parser::Interval::tan().
| Number stabilizer::parser::Number::nextAbove | ( | ) | const |
Definition at line 1734 of file number.cpp.
References INT_TYPE, intValue, stabilizer::parser::HighPrecisionInteger::nextAbove(), stabilizer::parser::HighPrecisionReal::nextAbove(), Number(), realValue, and type.
Referenced by stabilizer::parser::Interval::acosh(), stabilizer::parser::Interval::asin(), stabilizer::parser::Interval::asinh(), stabilizer::parser::Interval::atan(), stabilizer::parser::Interval::atan2(), stabilizer::parser::Interval::atanh(), stabilizer::parser::Interval::cos(), stabilizer::parser::Interval::cosh(), stabilizer::parser::Interval::exp(), stabilizer::parser::Interval::lb(), stabilizer::parser::Interval::lg(), stabilizer::parser::Interval::ln(), stabilizer::parser::Interval::pow(), stabilizer::parser::Interval::pow(), stabilizer::parser::Interval::pow2(), stabilizer::parser::Interval::safeSqrt(), stabilizer::parser::Interval::sin(), stabilizer::parser::Interval::sinh(), stabilizer::parser::Interval::sqrt(), stabilizer::parser::Interval::tan(), and stabilizer::parser::Interval::tanh().
| Number stabilizer::parser::Number::nextBelow | ( | ) | const |
Definition at line 1725 of file number.cpp.
References INT_TYPE, intValue, stabilizer::parser::HighPrecisionInteger::nextBelow(), stabilizer::parser::HighPrecisionReal::nextBelow(), Number(), realValue, and type.
Referenced by stabilizer::parser::Interval::acosh(), stabilizer::parser::Interval::asin(), stabilizer::parser::Interval::asinh(), stabilizer::parser::Interval::atan(), stabilizer::parser::Interval::atan2(), stabilizer::parser::Interval::atan2(), stabilizer::parser::Interval::atanh(), stabilizer::parser::Interval::cos(), stabilizer::parser::Interval::cosh(), stabilizer::parser::Interval::exp(), stabilizer::parser::Interval::lb(), stabilizer::parser::Interval::lg(), stabilizer::parser::Interval::ln(), stabilizer::parser::Interval::pow(), stabilizer::parser::Interval::pow(), stabilizer::parser::Interval::pow2(), stabilizer::parser::Interval::safeSqrt(), stabilizer::parser::Interval::sin(), stabilizer::parser::Interval::sinh(), stabilizer::parser::Interval::sqrt(), stabilizer::parser::Interval::tan(), and stabilizer::parser::Interval::tanh().
|
static |
Definition at line 1188 of file number.cpp.
References Number().
| bool stabilizer::parser::Number::operator!= | ( | const Number & | other | ) | const |
Definition at line 1400 of file number.cpp.
Definition at line 1304 of file number.cpp.
References condAssert, INT_TYPE, intValue, Number(), and type.
Definition at line 1350 of file number.cpp.
References condAssert, INT_TYPE, intValue, and type.
| Number & stabilizer::parser::Number::operator++ | ( | ) |
Definition at line 1357 of file number.cpp.
References INT_TYPE, intValue, realValue, and type.
Referenced by operator++().
| Number stabilizer::parser::Number::operator++ | ( | int | ) |
Definition at line 1366 of file number.cpp.
References operator++().
| Number stabilizer::parser::Number::operator- | ( | ) | const |
| Number & stabilizer::parser::Number::operator-- | ( | ) |
Definition at line 1371 of file number.cpp.
References INT_TYPE, intValue, realValue, and type.
Referenced by operator--().
| Number stabilizer::parser::Number::operator-- | ( | int | ) |
Definition at line 1380 of file number.cpp.
References operator--().
| bool stabilizer::parser::Number::operator< | ( | const Number & | other | ) | const |
| Number stabilizer::parser::Number::operator<< | ( | unsigned long | bits | ) | const |
| bool stabilizer::parser::Number::operator<= | ( | const Number & | other | ) | const |
| bool stabilizer::parser::Number::operator== | ( | const Number & | other | ) | const |
| bool stabilizer::parser::Number::operator> | ( | const Number & | other | ) | const |
Definition at line 1426 of file number.cpp.
| bool stabilizer::parser::Number::operator>= | ( | const Number & | other | ) | const |
Definition at line 1428 of file number.cpp.
| Number stabilizer::parser::Number::operator>> | ( | unsigned long | bits | ) | const |
| Number stabilizer::parser::Number::operator~ | ( | ) | const |
|
static |
Definition at line 1241 of file number.cpp.
References Number(), and stabilizer::parser::HighPrecisionReal::phi().
|
static |
Definition at line 1235 of file number.cpp.
References Number(), and stabilizer::parser::HighPrecisionReal::pi().
Referenced by stabilizer::parser::Interval::acot(), stabilizer::parser::Interval::acsc(), stabilizer::parser::Interval::asec(), stabilizer::parser::Interval::atan2(), stabilizer::parser::Interval::atan2(), stabilizer::parser::Interval::cos(), stabilizer::parser::Interval::sin(), and stabilizer::parser::Interval::tan().
|
static |
Definition at line 1199 of file number.cpp.
References stabilizer::parser::HighPrecisionReal::getMPFR(), and realValue.
Referenced by stabilizer::parser::Interval::cot(), stabilizer::parser::Interval::coth(), stabilizer::parser::Interval::csc(), stabilizer::parser::Interval::csch(), stabilizer::parser::Interval::exp(), stabilizer::parser::Interval::lb(), stabilizer::parser::Interval::lg(), stabilizer::parser::Interval::ln(), stabilizer::parser::Interval::pow(), stabilizer::parser::Interval::pow(), stabilizer::parser::Interval::pow2(), stabilizer::parser::Interval::safeSqrt(), stabilizer::parser::Interval::sec(), stabilizer::parser::Interval::sqrt(), and stabilizer::parser::Interval::tan().
Definition at line 1468 of file number.cpp.
References exp(), INT_TYPE, intValue, Number(), pow(), stabilizer::parser::HighPrecisionInteger::pow(), toReal(), stabilizer::parser::HighPrecisionInteger::toULong(), and type.
Referenced by stabilizer::parser::Interval::pow(), stabilizer::parser::Interval::pow(), pow(), stabilizer::parser::Value::pow(), and stabilizer::parser::Interval::pow2().
| Number stabilizer::parser::Number::round | ( | ) | const |
Definition at line 1505 of file number.cpp.
References INT_TYPE, intValue, Number(), realValue, stabilizer::parser::HighPrecisionReal::round(), and type.
Referenced by stabilizer::parser::Value::round().
| Number stabilizer::parser::Number::safeSqrt | ( | ) | const |
Definition at line 1460 of file number.cpp.
References INT_TYPE, intValue, Number(), stabilizer::parser::HighPrecisionInteger::safeSqrt(), safeSqrt(), toReal(), and type.
Referenced by stabilizer::parser::Interval::safeSqrt(), safeSqrt(), and stabilizer::parser::Value::safeSqrt().
| Number stabilizer::parser::Number::sec | ( | ) | const |
Definition at line 1580 of file number.cpp.
References INT_TYPE, intValue, Number(), realValue, stabilizer::parser::HighPrecisionReal::sec(), and type.
Referenced by stabilizer::parser::Value::sec().
| Number stabilizer::parser::Number::sech | ( | ) | const |
Definition at line 1669 of file number.cpp.
References INT_TYPE, intValue, Number(), realValue, stabilizer::parser::HighPrecisionReal::sech(), and type.
Referenced by stabilizer::parser::Value::sech().
| Number stabilizer::parser::Number::sin | ( | ) | const |
Definition at line 1552 of file number.cpp.
References INT_TYPE, intValue, Number(), realValue, stabilizer::parser::HighPrecisionReal::sin(), and type.
Referenced by stabilizer::parser::Interval::sin(), and stabilizer::parser::Value::sin().
| Number stabilizer::parser::Number::sinh | ( | ) | const |
Definition at line 1641 of file number.cpp.
References INT_TYPE, intValue, Number(), realValue, stabilizer::parser::HighPrecisionReal::sinh(), and type.
Referenced by stabilizer::parser::Interval::sinh(), and stabilizer::parser::Value::sinh().
| Number stabilizer::parser::Number::sqrt | ( | ) | const |
Definition at line 1450 of file number.cpp.
References INT_TYPE, intValue, Number(), stabilizer::parser::HighPrecisionInteger::sqrt(), sqrt(), toReal(), and type.
Referenced by stabilizer::parser::Interval::sqrt(), sqrt(), and stabilizer::parser::Value::sqrt().
| Number stabilizer::parser::Number::tan | ( | ) | const |
Definition at line 1566 of file number.cpp.
References INT_TYPE, intValue, Number(), realValue, stabilizer::parser::HighPrecisionReal::tan(), and type.
Referenced by stabilizer::parser::Interval::tan(), and stabilizer::parser::Value::tan().
| Number stabilizer::parser::Number::tanh | ( | ) | const |
Definition at line 1655 of file number.cpp.
References INT_TYPE, intValue, Number(), realValue, stabilizer::parser::HighPrecisionReal::tanh(), and type.
Referenced by stabilizer::parser::Interval::coth(), stabilizer::parser::Interval::tanh(), and stabilizer::parser::Value::tanh().
| HighPrecisionInteger stabilizer::parser::Number::toInteger | ( | ) | const |
Definition at line 1169 of file number.cpp.
References INT_TYPE, intValue, realValue, stabilizer::parser::HighPrecisionReal::toInteger(), and type.
Referenced by stabilizer::parser::Parser::mkConstInt(), stabilizer::parser::Interval::pow(), stabilizer::parser::Interval::pow2(), stabilizer::parser::Value::repeatStr(), and stabilizer::parser::Value::substr().
| HighPrecisionReal stabilizer::parser::Number::toReal | ( | mpfr_prec_t | precision = 128 | ) | const |
Definition at line 1178 of file number.cpp.
References intValue, REAL_TYPE, realValue, and type.
Referenced by atan2(), log(), stabilizer::parser::Parser::mkConstReal(), operator*(), operator*=(), operator+(), operator+=(), operator-(), operator-=(), operator/(), operator/=(), operator<(), operator<=(), operator==(), pow(), safeSqrt(), and sqrt().
| std::string stabilizer::parser::Number::toString | ( | ) | const |
Definition at line 1431 of file number.cpp.
References INT_TYPE, intValue, realValue, stabilizer::parser::HighPrecisionReal::toString(), stabilizer::parser::HighPrecisionInteger::toString(), and type.
Referenced by stabilizer::parser::Interval::toString(), and stabilizer::parser::Value::toString().
|
static |
Definition at line 1187 of file number.cpp.
References Number().
|
private |
Definition at line 433 of file number.h.
Referenced by abs(), acos(), acosh(), acot(), acoth(), acsc(), acsch(), asec(), asech(), asin(), asinh(), atan(), atanh(), ceil(), cos(), cosh(), cot(), coth(), csc(), csch(), exp(), floor(), getInteger(), isOne(), isZero(), lb(), lg(), ln(), log(), nextAbove(), nextBelow(), Number(), Number(), Number(), operator%(), operator%=(), operator*(), operator*=(), operator+(), operator++(), operator+=(), operator-(), operator-(), operator--(), operator-=(), operator/(), operator/=(), operator<(), operator<=(), operator=(), operator==(), pow(), round(), safeSqrt(), sec(), sech(), sin(), sinh(), sqrt(), tan(), tanh(), toInteger(), toReal(), and toString().
|
private |
Definition at line 434 of file number.h.
Referenced by abs(), acos(), acosh(), acot(), acoth(), acsc(), acsch(), asec(), asech(), asin(), asinh(), atan(), atanh(), ceil(), cos(), cosh(), cot(), coth(), csc(), csch(), exp(), floor(), getReal(), infinity(), isInfinity(), isNaN(), isNegativeInfinity(), isOne(), isPositiveInfinity(), isZero(), lb(), lg(), ln(), log(), negativeInfinity(), nextAbove(), nextBelow(), Number(), Number(), Number(), operator*=(), operator++(), operator+=(), operator-(), operator--(), operator-=(), operator/=(), operator<(), operator<=(), operator=(), operator==(), positiveInfinity(), round(), sec(), sech(), sin(), sinh(), tan(), tanh(), toInteger(), toReal(), and toString().
|
private |
Definition at line 432 of file number.h.
Referenced by abs(), acos(), acosh(), acot(), acoth(), acsc(), acsch(), asec(), asech(), asin(), asinh(), atan(), atanh(), ceil(), cos(), cosh(), cot(), coth(), csc(), csch(), exp(), floor(), getInteger(), getReal(), getType(), isInfinity(), isInteger(), isNaN(), isNegativeInfinity(), isOne(), isPositiveInfinity(), isReal(), isUnknown(), isZero(), lb(), lg(), ln(), log(), nextAbove(), nextBelow(), Number(), Number(), Number(), operator%(), operator%=(), operator*(), operator*=(), operator+(), operator++(), operator+=(), operator-(), operator-(), operator--(), operator-=(), operator/(), operator/=(), operator<(), operator<=(), operator=(), operator==(), pow(), round(), safeSqrt(), sec(), sech(), sin(), sinh(), sqrt(), tan(), tanh(), toInteger(), toReal(), and toString().