SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Private Attributes
smtrat::lra::Value< T > Class Template Reference

#include <Value.h>

Inheritance diagram for smtrat::lra::Value< T >:
Inheritance graph
[legend]

Public Member Functions

 Value ()
 
 Value (const T &_num)
 
 Value (const T &_num1, const T &_num2)
 
 Value (const Value< T > &_orig)
 
virtual ~Value ()
 
Value< T > & operator= (const Value< T > &_value)
 Copy the content of the given value to this one. More...
 
Value< T > operator+ (const Value< T > &_value) const
 
void operator+= (const Value< T > &_value)
 
Value< T > operator- (const Value< T > &_value) const
 
void operator-= (const Value< T > &_value)
 
Value< T > operator* (const T &_a) const
 
Value< T > operator* (const Value< T > &_value) const
 
void operator*= (const Value< T > &_value)
 
void operator*= (const T &_a)
 
Value< T > operator/ (const T &_a) const
 
void operator/= (const T &_a)
 
bool operator< (const Value< T > &_value) const
 
bool operator> (const Value< T > &_value) const
 
bool operator<= (const Value< T > &_value) const
 
bool operator>= (const Value< T > &_value) const
 
bool operator== (const Value< T > &_value) const
 
bool operator!= (const Value< T > &_value) const
 
bool operator== (const T &_a) const
 
bool operator!= (const T &_a) const
 
bool operator< (const T &_a) const
 
bool operator> (const T &_a) const
 
bool operator<= (const T &_a) const
 
bool operator>= (const T &_a) const
 
const std::string toString () const
 
const T & mainPart () const
 
const T & deltaPart () const
 
const Value< T > & abs_ ()
 
Value< T > abs () const
 
bool is_zero () const
 
T sign () const
 Computes the sign: 0 if main & delta part are unequal 0. More...
 
void print (std::ostream &_out=std::cout) const
 

Private Attributes

T mMainPart
 
T mDeltaPart
 

Detailed Description

template<class T>
class smtrat::lra::Value< T >

Definition at line 22 of file Value.h.

Constructor & Destructor Documentation

◆ Value() [1/4]

template<class T >
smtrat::lra::Value< T >::Value ( )

◆ Value() [2/4]

template<class T >
smtrat::lra::Value< T >::Value ( const T &  _num)
Parameters
_num

◆ Value() [3/4]

template<class T >
smtrat::lra::Value< T >::Value ( const T &  _num1,
const T &  _num2 
)
Parameters
_num1
_num2

◆ Value() [4/4]

template<class T >
smtrat::lra::Value< T >::Value ( const Value< T > &  _orig)
Parameters
_orig

◆ ~Value()

template<class T >
virtual smtrat::lra::Value< T >::~Value ( )
virtual

Member Function Documentation

◆ abs()

template<class T >
Value<T> smtrat::lra::Value< T >::abs ( ) const
inline

Definition at line 233 of file Value.h.

Here is the call graph for this function:

◆ abs_()

template<class T >
const Value<T>& smtrat::lra::Value< T >::abs_ ( )
inline

Definition at line 226 of file Value.h.

◆ deltaPart()

template<class T >
const T& smtrat::lra::Value< T >::deltaPart ( ) const
inline
Returns

Definition at line 221 of file Value.h.

Here is the caller graph for this function:

◆ is_zero()

template<class T >
bool smtrat::lra::Value< T >::is_zero ( ) const
inline

Definition at line 253 of file Value.h.

◆ mainPart()

template<class T >
const T& smtrat::lra::Value< T >::mainPart ( ) const
inline
Returns

Definition at line 213 of file Value.h.

Here is the caller graph for this function:

◆ operator!=() [1/2]

template<class T >
bool smtrat::lra::Value< T >::operator!= ( const T &  _a) const
inline

Definition at line 171 of file Value.h.

◆ operator!=() [2/2]

template<class T >
bool smtrat::lra::Value< T >::operator!= ( const Value< T > &  _value) const
inline

Definition at line 160 of file Value.h.

◆ operator*() [1/2]

template<class T >
Value<T> smtrat::lra::Value< T >::operator* ( const T &  _a) const
Parameters
_a
Returns

◆ operator*() [2/2]

template<class T >
Value<T> smtrat::lra::Value< T >::operator* ( const Value< T > &  _value) const
Parameters
_value

◆ operator*=() [1/2]

template<class T >
void smtrat::lra::Value< T >::operator*= ( const T &  _a)
Parameters
_a

◆ operator*=() [2/2]

template<class T >
void smtrat::lra::Value< T >::operator*= ( const Value< T > &  _value)
Parameters
_value

◆ operator+()

template<class T >
Value<T> smtrat::lra::Value< T >::operator+ ( const Value< T > &  _value) const
Parameters
_value
Returns

◆ operator+=()

template<class T >
void smtrat::lra::Value< T >::operator+= ( const Value< T > &  _value)
Parameters
_value

◆ operator-()

template<class T >
Value<T> smtrat::lra::Value< T >::operator- ( const Value< T > &  _value) const
Parameters
_value
Returns

◆ operator-=()

template<class T >
void smtrat::lra::Value< T >::operator-= ( const Value< T > &  _value)
Parameters
_value

◆ operator/()

template<class T >
Value<T> smtrat::lra::Value< T >::operator/ ( const T &  _a) const
Parameters
_a
Returns

◆ operator/=()

template<class T >
void smtrat::lra::Value< T >::operator/= ( const T &  _a)
Parameters
_a

◆ operator<() [1/2]

template<class T >
bool smtrat::lra::Value< T >::operator< ( const T &  _a) const
Parameters
_a
Returns

◆ operator<() [2/2]

template<class T >
bool smtrat::lra::Value< T >::operator< ( const Value< T > &  _value) const
Parameters
_value
Returns

◆ operator<=() [1/2]

template<class T >
bool smtrat::lra::Value< T >::operator<= ( const T &  _a) const
Parameters
_a
Returns

◆ operator<=() [2/2]

template<class T >
bool smtrat::lra::Value< T >::operator<= ( const Value< T > &  _value) const
Parameters
_value
Returns

◆ operator=()

template<class T >
Value<T>& smtrat::lra::Value< T >::operator= ( const Value< T > &  _value)

Copy the content of the given value to this one.

Parameters
_valueThe value to copy.
Returns
This value after copying.

◆ operator==() [1/2]

template<class T >
bool smtrat::lra::Value< T >::operator== ( const T &  _a) const
Parameters
_a
Returns

◆ operator==() [2/2]

template<class T >
bool smtrat::lra::Value< T >::operator== ( const Value< T > &  _value) const
Parameters
_value
Returns

◆ operator>() [1/2]

template<class T >
bool smtrat::lra::Value< T >::operator> ( const T &  _a) const
Parameters
_a
Returns

◆ operator>() [2/2]

template<class T >
bool smtrat::lra::Value< T >::operator> ( const Value< T > &  _value) const
inline

Definition at line 138 of file Value.h.

◆ operator>=() [1/2]

template<class T >
bool smtrat::lra::Value< T >::operator>= ( const T &  _a) const
Parameters
_a
Returns

◆ operator>=() [2/2]

template<class T >
bool smtrat::lra::Value< T >::operator>= ( const Value< T > &  _value) const
inline

Definition at line 149 of file Value.h.

◆ print()

template<class T >
void smtrat::lra::Value< T >::print ( std::ostream &  _out = std::cout) const
Parameters
_out

◆ sign()

template<class T >
T smtrat::lra::Value< T >::sign ( ) const

Computes the sign: 0 if main & delta part are unequal 0.

Else +/- 1 determined by the sign of main part (if set) else delta part.

◆ toString()

template<class T >
const std::string smtrat::lra::Value< T >::toString ( ) const
Returns

Field Documentation

◆ mDeltaPart

template<class T >
T smtrat::lra::Value< T >::mDeltaPart
private

Definition at line 28 of file Value.h.

◆ mMainPart

template<class T >
T smtrat::lra::Value< T >::mMainPart
private

Definition at line 26 of file Value.h.

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