stabilizer::parser::FloatingPointUtils Class Reference

Floating-point conversion helpers used by parser evaluation paths. More...

#include <util.h>

Static Public Member Functions
static std::string	fpToUbv (const std::string &fp, const Integer &n)
static std::string	fpToSbv (const std::string &fp, const Integer &n)

Detailed Description

Floating-point conversion helpers used by parser evaluation paths.

Definition at line 140 of file util.h.

Member Function Documentation

fpToSbv()

std::string stabilizer::parser::FloatingPointUtils::fpToSbv ( const std::string &  fp, const Integer &  n  )

static

Definition at line 923 of file util.cpp.

References condAssert, and stabilizer::parser::HighPrecisionInteger::toULong().

Referenced by stabilizer::parser::Parser::mkFpToSbv().

fpToUbv()

std::string stabilizer::parser::FloatingPointUtils::fpToUbv ( const std::string &  fp, const Integer &  n  )

static

Definition at line 897 of file util.cpp.

References condAssert, and stabilizer::parser::HighPrecisionInteger::toULong().

Referenced by stabilizer::parser::Parser::mkFpToUbv().

---

The documentation for this class was generated from the following files:

• src/parser/util.h
• src/parser/util.cpp