SMTStabilizer API
Public API documentation for SMTStabilizer
Loading...
Searching...
No Matches
value.h File Reference
#include <memory>
#include "interval.h"
#include "number.h"
Include dependency graph for value.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  stabilizer::parser::Value
 

Namespaces

namespace  stabilizer
 
namespace  stabilizer::parser
 

Enumerations

enum  stabilizer::parser::ValueType {
  stabilizer::parser::UNKNOWN , stabilizer::parser::STRING , stabilizer::parser::NUMBER , stabilizer::parser::INTERVAL ,
  stabilizer::parser::BOOLEAN , stabilizer::parser::BV , stabilizer::parser::FP , stabilizer::parser::ARRAY
}
 

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)