SMTStabilizer API
Public API documentation for SMTStabilizer
Loading...
Searching...
No Matches
stabilizer::parser::Value Class Reference

#include <value.h>

Collaboration diagram for stabilizer::parser::Value:

Public Member Functions

 Value ()
 
 Value (const Value &other)
 
Valueoperator= (const Value &other)
 
 ~Value ()
 
 Value (const std::string &string_value)
 
 Value (const Number &number_value)
 
 Value (const Interval &interval_value)
 
 Value (const bool &boolean_value)
 
 Value (const ValueType &value_type)
 
void setValue (const std::string &string_value)
 
void setValue (const Number &number_value)
 
void setValue (const Interval &interval_value)
 
void setValue (const bool &boolean_value)
 
ValueType getType () const
 
std::string getStringValue () const
 
Number getNumberValue () const
 
Interval getIntervalValue () const
 
bool getBooleanValue () const
 
Valueoperator= (const std::string &string_value)
 
Valueoperator= (const Number &number_value)
 
Valueoperator= (const Interval &interval_value)
 
Valueoperator= (const bool &boolean_value)
 
bool operator== (const Value &other) const
 
bool operator!= (const Value &other) const
 
bool operator< (const Value &other) const
 
bool operator<= (const Value &other) const
 
bool operator> (const Value &other) const
 
bool operator>= (const Value &other) const
 
Valueoperator+= (const Value &other)
 
Valueoperator-= (const Value &other)
 
Valueoperator*= (const Value &other)
 
Valueoperator/= (const Value &other)
 
Valueoperator%= (const Value &other)
 
Valueoperator^= (const Value &other)
 
Valueoperator&= (const Value &other)
 
Valueoperator|= (const Value &other)
 
Valueoperator<<= (const Value &other)
 
Valueoperator>>= (const Value &other)
 
Valueoperator++ ()
 
Valueoperator-- ()
 
Value operator++ (int)
 
Value operator-- (int)
 
bool operator&& (const Value &other) const
 
bool operator|| (const Value &other) const
 
bool operator! () const
 
Value operator+ (const Value &other) const
 
Value operator- (const Value &other) const
 
Value operator* (const Value &other) const
 
Value operator/ (const Value &other) const
 
Value operator% (const Value &other) const
 
Value operator^ (const Value &other) const
 
Value operator& (const Value &other) const
 
Value operator| (const Value &other) const
 
Value operator~ () const
 
Value operator<< (const Value &other) const
 
Value operator>> (const Value &other) const
 
Value neg () const
 
Value abs () const
 
Value sqrt () const
 
Value safeSqrt () const
 
Value pow (const Value &other) const
 
Value exp () const
 
Value ln () const
 
Value lg () const
 
Value lb () const
 
Value log (const Value &other) const
 
Value ceil () const
 
Value floor () const
 
Value round () const
 
Value sin () const
 
Value cos () const
 
Value tan () const
 
Value cot () const
 
Value sec () const
 
Value csc () const
 
Value asin () const
 
Value acos () const
 
Value atan () const
 
Value acot () const
 
Value asec () const
 
Value acsc () const
 
Value atan2 (const Value &other) const
 
Value sinh () const
 
Value cosh () const
 
Value tanh () const
 
Value coth () const
 
Value sech () const
 
Value csch () const
 
Value asinh () const
 
Value acosh () const
 
Value atanh () const
 
Value acoth () const
 
Value asech () const
 
Value acsch () const
 
Value concatStr (const Value &other) const
 
Value substr (const Value &start, const Value &end) const
 
Value repeatStr (const Value &other) const
 
Value replace (const Value &old, const Value &newVal) const
 
Value split (const Value &delimiter) const
 
Value join (const Value &delimiter) const
 
Value reverse () const
 
Value sortStr () const
 
Value unique () const
 
Value trim () const
 
Value ltrim () const
 
Value rtrim () const
 
Value toLower () const
 
Value toUpper () const
 
Value toNumber () const
 
Value toBoolean () const
 
Value toBV () const
 
Value toFP () const
 
Value toArray () const
 
std::string toString () const
 

Private Attributes

std::string string_value
 
Number number_value
 
Interval interval_value
 
bool boolean_value
 
ValueType value_type
 

Detailed Description

Definition at line 50 of file value.h.

Constructor & Destructor Documentation

◆ Value() [1/7]

◆ Value() [2/7]

stabilizer::parser::Value::Value ( const Value other)

Definition at line 41 of file value.cpp.

◆ ~Value()

stabilizer::parser::Value::~Value ( )

Definition at line 57 of file value.cpp.

◆ Value() [3/7]

stabilizer::parser::Value::Value ( const std::string &  string_value)

Definition at line 60 of file value.cpp.

◆ Value() [4/7]

stabilizer::parser::Value::Value ( const Number number_value)

Definition at line 63 of file value.cpp.

◆ Value() [5/7]

stabilizer::parser::Value::Value ( const Interval interval_value)

Definition at line 66 of file value.cpp.

◆ Value() [6/7]

stabilizer::parser::Value::Value ( const bool &  boolean_value)

Definition at line 69 of file value.cpp.

◆ Value() [7/7]

stabilizer::parser::Value::Value ( const ValueType value_type)

Definition at line 72 of file value.cpp.

Member Function Documentation

◆ abs()

◆ acos()

◆ acosh()

◆ acot()

◆ acoth()

◆ acsc()

◆ acsch()

◆ asec()

◆ asech()

◆ asin()

◆ asinh()

◆ atan()

◆ atan2()

Value stabilizer::parser::Value::atan2 ( const Value other) const

◆ atanh()

◆ ceil()

Value stabilizer::parser::Value::ceil ( ) const

◆ concatStr()

Value stabilizer::parser::Value::concatStr ( const Value other) const

Definition at line 910 of file value.cpp.

References stabilizer::parser::STRING, string_value, Value(), and value_type.

◆ cos()

◆ cosh()

◆ cot()

◆ coth()

◆ csc()

◆ csch()

◆ exp()

◆ floor()

Value stabilizer::parser::Value::floor ( ) const

◆ getBooleanValue()

bool stabilizer::parser::Value::getBooleanValue ( ) const

Definition at line 119 of file value.cpp.

References stabilizer::parser::BOOLEAN, boolean_value, and value_type.

◆ getIntervalValue()

Interval stabilizer::parser::Value::getIntervalValue ( ) const

Definition at line 112 of file value.cpp.

References stabilizer::parser::INTERVAL, interval_value, and value_type.

◆ getNumberValue()

Number stabilizer::parser::Value::getNumberValue ( ) const

Definition at line 105 of file value.cpp.

References stabilizer::parser::NUMBER, number_value, and value_type.

◆ getStringValue()

std::string stabilizer::parser::Value::getStringValue ( ) const

Definition at line 98 of file value.cpp.

References stabilizer::parser::STRING, string_value, and value_type.

◆ getType()

ValueType stabilizer::parser::Value::getType ( ) const

Definition at line 96 of file value.cpp.

References value_type.

◆ join()

Value stabilizer::parser::Value::join ( const Value delimiter) const

Definition at line 984 of file value.cpp.

◆ lb()

◆ lg()

◆ ln()

◆ log()

Value stabilizer::parser::Value::log ( const Value other) const

◆ ltrim()

Value stabilizer::parser::Value::ltrim ( ) const

Definition at line 1032 of file value.cpp.

References stabilizer::parser::STRING, string_value, Value(), and value_type.

◆ neg()

Value stabilizer::parser::Value::neg ( ) const

◆ operator!()

bool stabilizer::parser::Value::operator! ( ) const

Definition at line 439 of file value.cpp.

References stabilizer::parser::BOOLEAN, boolean_value, and value_type.

◆ operator!=()

bool stabilizer::parser::Value::operator!= ( const Value other) const

Definition at line 232 of file value.cpp.

◆ operator%()

Value stabilizer::parser::Value::operator% ( const Value other) const

◆ operator%=()

Value & stabilizer::parser::Value::operator%= ( const Value other)

Definition at line 467 of file value.cpp.

◆ operator&()

Value stabilizer::parser::Value::operator& ( const Value other) const

Definition at line 481 of file value.cpp.

References stabilizer::parser::NUMBER, and value_type.

◆ operator&&()

bool stabilizer::parser::Value::operator&& ( const Value other) const

Definition at line 425 of file value.cpp.

References stabilizer::parser::BOOLEAN, boolean_value, and value_type.

◆ operator&=()

Value & stabilizer::parser::Value::operator&= ( const Value other)

Definition at line 1141 of file value.cpp.

References stabilizer::parser::NUMBER, and value_type.

◆ operator*()

Value stabilizer::parser::Value::operator* ( const Value other) const

◆ operator*=()

Value & stabilizer::parser::Value::operator*= ( const Value other)

Definition at line 457 of file value.cpp.

◆ operator+()

Value stabilizer::parser::Value::operator+ ( const Value other) const

◆ operator++() [1/2]

Value & stabilizer::parser::Value::operator++ ( )

◆ operator++() [2/2]

Value stabilizer::parser::Value::operator++ ( int  )

Definition at line 540 of file value.cpp.

◆ operator+=()

Value & stabilizer::parser::Value::operator+= ( const Value other)

Definition at line 447 of file value.cpp.

◆ operator-()

Value stabilizer::parser::Value::operator- ( const Value other) const

◆ operator--() [1/2]

Value & stabilizer::parser::Value::operator-- ( )

◆ operator--() [2/2]

Value stabilizer::parser::Value::operator-- ( int  )

Definition at line 546 of file value.cpp.

◆ operator-=()

Value & stabilizer::parser::Value::operator-= ( const Value other)

Definition at line 452 of file value.cpp.

◆ operator/()

Value stabilizer::parser::Value::operator/ ( const Value other) const

◆ operator/=()

Value & stabilizer::parser::Value::operator/= ( const Value other)

Definition at line 462 of file value.cpp.

◆ operator<()

bool stabilizer::parser::Value::operator< ( const Value other) const

◆ operator<<()

Value stabilizer::parser::Value::operator<< ( const Value other) const

Definition at line 497 of file value.cpp.

References stabilizer::parser::NUMBER, and value_type.

◆ operator<<=()

Value & stabilizer::parser::Value::operator<<= ( const Value other)

Definition at line 1159 of file value.cpp.

References stabilizer::parser::NUMBER, and value_type.

◆ operator<=()

bool stabilizer::parser::Value::operator<= ( const Value other) const

Definition at line 253 of file value.cpp.

◆ operator=() [1/5]

Value & stabilizer::parser::Value::operator= ( const bool &  boolean_value)

Definition at line 145 of file value.cpp.

References stabilizer::parser::BOOLEAN, boolean_value, and value_type.

◆ operator=() [2/5]

Value & stabilizer::parser::Value::operator= ( const Interval interval_value)

Definition at line 139 of file value.cpp.

References stabilizer::parser::INTERVAL, interval_value, and value_type.

◆ operator=() [3/5]

Value & stabilizer::parser::Value::operator= ( const Number number_value)

Definition at line 133 of file value.cpp.

References stabilizer::parser::NUMBER, number_value, and value_type.

◆ operator=() [4/5]

Value & stabilizer::parser::Value::operator= ( const std::string &  string_value)

Definition at line 127 of file value.cpp.

References stabilizer::parser::STRING, string_value, and value_type.

◆ operator=() [5/5]

Value & stabilizer::parser::Value::operator= ( const Value other)

Definition at line 45 of file value.cpp.

References boolean_value, interval_value, number_value, string_value, and value_type.

◆ operator==()

bool stabilizer::parser::Value::operator== ( const Value other) const

◆ operator>()

bool stabilizer::parser::Value::operator> ( const Value other) const

Definition at line 257 of file value.cpp.

◆ operator>=()

bool stabilizer::parser::Value::operator>= ( const Value other) const

Definition at line 259 of file value.cpp.

◆ operator>>()

Value stabilizer::parser::Value::operator>> ( const Value other) const

Definition at line 505 of file value.cpp.

References stabilizer::parser::NUMBER, and value_type.

◆ operator>>=()

Value & stabilizer::parser::Value::operator>>= ( const Value other)

Definition at line 1168 of file value.cpp.

References stabilizer::parser::NUMBER, and value_type.

◆ operator^()

Value stabilizer::parser::Value::operator^ ( const Value other) const

Definition at line 473 of file value.cpp.

References stabilizer::parser::NUMBER, and value_type.

◆ operator^=()

Value & stabilizer::parser::Value::operator^= ( const Value other)

Definition at line 1132 of file value.cpp.

References stabilizer::parser::NUMBER, and value_type.

◆ operator|()

Value stabilizer::parser::Value::operator| ( const Value other) const

Definition at line 489 of file value.cpp.

References stabilizer::parser::NUMBER, and value_type.

◆ operator|=()

Value & stabilizer::parser::Value::operator|= ( const Value other)

Definition at line 1150 of file value.cpp.

References stabilizer::parser::NUMBER, and value_type.

◆ operator||()

bool stabilizer::parser::Value::operator|| ( const Value other) const

Definition at line 432 of file value.cpp.

References stabilizer::parser::BOOLEAN, boolean_value, and value_type.

◆ operator~()

Value stabilizer::parser::Value::operator~ ( ) const

◆ pow()

◆ repeatStr()

◆ replace()

Value stabilizer::parser::Value::replace ( const Value old,
const Value newVal 
) const

Definition at line 963 of file value.cpp.

References replace(), stabilizer::parser::STRING, string_value, Value(), and value_type.

Referenced by replace().

◆ reverse()

Value stabilizer::parser::Value::reverse ( ) const

Definition at line 989 of file value.cpp.

References stabilizer::parser::STRING, string_value, Value(), and value_type.

◆ round()

Value stabilizer::parser::Value::round ( ) const

◆ rtrim()

Value stabilizer::parser::Value::rtrim ( ) const

Definition at line 1044 of file value.cpp.

References stabilizer::parser::STRING, string_value, Value(), and value_type.

◆ safeSqrt()

◆ sec()

◆ sech()

◆ setValue() [1/4]

void stabilizer::parser::Value::setValue ( const bool &  boolean_value)

Definition at line 90 of file value.cpp.

References stabilizer::parser::BOOLEAN, boolean_value, and value_type.

◆ setValue() [2/4]

void stabilizer::parser::Value::setValue ( const Interval interval_value)

Definition at line 85 of file value.cpp.

References stabilizer::parser::INTERVAL, interval_value, and value_type.

◆ setValue() [3/4]

void stabilizer::parser::Value::setValue ( const Number number_value)

Definition at line 80 of file value.cpp.

References stabilizer::parser::NUMBER, number_value, and value_type.

◆ setValue() [4/4]

void stabilizer::parser::Value::setValue ( const std::string &  string_value)

Definition at line 75 of file value.cpp.

References stabilizer::parser::STRING, string_value, and value_type.

◆ sin()

◆ sinh()

◆ sortStr()

Value stabilizer::parser::Value::sortStr ( ) const

Definition at line 933 of file value.cpp.

References stabilizer::parser::STRING, string_value, Value(), and value_type.

◆ split()

Value stabilizer::parser::Value::split ( const Value delimiter) const

Definition at line 979 of file value.cpp.

◆ sqrt()

◆ substr()

Value stabilizer::parser::Value::substr ( const Value start,
const Value end 
) const

◆ tan()

◆ tanh()

◆ toArray()

Value stabilizer::parser::Value::toArray ( ) const

Definition at line 1124 of file value.cpp.

◆ toBoolean()

Value stabilizer::parser::Value::toBoolean ( ) const

◆ toBV()

Value stabilizer::parser::Value::toBV ( ) const

Definition at line 1116 of file value.cpp.

◆ toFP()

Value stabilizer::parser::Value::toFP ( ) const

Definition at line 1120 of file value.cpp.

◆ toLower()

Value stabilizer::parser::Value::toLower ( ) const

Definition at line 1057 of file value.cpp.

References stabilizer::parser::STRING, string_value, Value(), and value_type.

◆ toNumber()

Value stabilizer::parser::Value::toNumber ( ) const

◆ toString()

◆ toUpper()

Value stabilizer::parser::Value::toUpper ( ) const

Definition at line 1068 of file value.cpp.

References stabilizer::parser::STRING, string_value, Value(), and value_type.

◆ trim()

Value stabilizer::parser::Value::trim ( ) const

Definition at line 1015 of file value.cpp.

References stabilizer::parser::STRING, string_value, Value(), and value_type.

◆ unique()

Value stabilizer::parser::Value::unique ( ) const

Definition at line 1000 of file value.cpp.

References stabilizer::parser::STRING, string_value, Value(), and value_type.

Member Data Documentation

◆ boolean_value

bool stabilizer::parser::Value::boolean_value
private

◆ interval_value

◆ number_value

◆ string_value

std::string stabilizer::parser::Value::string_value
private

◆ value_type


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