SMTStabilizer API
Public API documentation for SMTStabilizer
Loading...
Searching...
No Matches
value.cpp File Reference
#include "value.h"
#include <algorithm>
#include <cctype>
#include <stdexcept>
Include dependency graph for value.cpp:

Go to the source code of this file.

Namespaces

namespace  stabilizer
 
namespace  stabilizer::parser
 

Functions

std::shared_ptr< Valuestabilizer::parser::newValue (const std::string &string_value)
 
std::shared_ptr< Valuestabilizer::parser::newValue (const Number &number_value)
 
std::shared_ptr< Valuestabilizer::parser::newValue (const Interval &interval_value)
 
std::shared_ptr< Valuestabilizer::parser::newValue (const bool &boolean_value)
 
std::shared_ptr< Valuestabilizer::parser::newValue (const ValueType &value_type)
 
std::shared_ptr< Valuestabilizer::parser::newValue (const int &integer_value)
 
std::shared_ptr< Valuestabilizer::parser::newValue (const double &double_value)
 
std::shared_ptr< Valuestabilizer::parser::newValue (const float &float_value)
 
std::shared_ptr< Valuestabilizer::parser::newValue (const long &long_value)
 
std::shared_ptr< Valuestabilizer::parser::newValue (const short &short_value)
 
std::shared_ptr< Valuestabilizer::parser::newValue (const char &char_value)