|
SMTStabilizer API
Public API documentation for SMTStabilizer
|
Numeric helper wrappers shared by parser-side evaluation and rewrite. More...
#include <util.h>
Static Public Member Functions | |
| static Integer | pow (const Integer &base, const Integer &exp) |
| static Real | pow (const Real &base, const Real &exp) |
| static Integer | gcd (const Integer &a, const Integer &b) |
| static Integer | lcm (const Integer &a, const Integer &b) |
| static Real | sqrt (const Integer &i) |
| static Real | sqrt (const Real &r) |
| static Real | safeSqrt (const Integer &i) |
| static Real | safeSqrt (const Real &r) |
| static Integer | ceil (const Real &r) |
| static Integer | floor (const Real &r) |
| static Integer | round (const Real &r) |
| static bool | isPrime (const Integer &n) |
| static bool | isEven (const Integer &n) |
| static bool | isOdd (const Integer &n) |
| static Integer | factorial (const Integer &n) |
Numeric helper wrappers shared by parser-side evaluation and rewrite.
Definition at line 315 of file util.cpp.
References stabilizer::parser::HighPrecisionReal::ceil(), and stabilizer::parser::HighPrecisionReal::toInteger().
Definition at line 337 of file util.cpp.
Referenced by stabilizer::parser::Parser::rewrite().
Definition at line 316 of file util.cpp.
References stabilizer::parser::HighPrecisionReal::floor(), and stabilizer::parser::HighPrecisionReal::toInteger().
|
static |
Definition at line 333 of file util.cpp.
Referenced by stabilizer::parser::Parser::rewrite().
|
static |
Definition at line 335 of file util.cpp.
Referenced by stabilizer::parser::Parser::rewrite().
|
static |
Definition at line 319 of file util.cpp.
Referenced by stabilizer::parser::Parser::rewrite().
Definition at line 284 of file util.cpp.
References gcd().
Referenced by stabilizer::parser::Parser::rewrite().
Definition at line 267 of file util.cpp.
Referenced by stabilizer::parser::ConversionUtils::parseScientificNotation(), and stabilizer::parser::Parser::rewrite().
Definition at line 276 of file util.cpp.
References stabilizer::parser::HighPrecisionReal::pow().
Definition at line 317 of file util.cpp.
References stabilizer::parser::HighPrecisionReal::round(), and stabilizer::parser::HighPrecisionReal::toInteger().
Definition at line 301 of file util.cpp.
References stabilizer::parser::HighPrecisionReal::sqrt().
Definition at line 308 of file util.cpp.
References stabilizer::parser::HighPrecisionReal::sqrt().
Definition at line 288 of file util.cpp.
References stabilizer::parser::HighPrecisionReal::sqrt().
Definition at line 294 of file util.cpp.
References stabilizer::parser::HighPrecisionReal::sqrt().