parameters: (self, thread_id: int, index: int)
docstring: Get the value of the symbol index in the current model.
  
          Arguments
          ---------
          thread_id
              The index of the solving thread that found the model.
          index
              Index to retreive.
  
          Returns
          -------
          The value of the index in form of an int, float, or Symbol.
docstring_summary: Get the value of the symbol index in the current model.
docstring_tokens: Get the value of the symbol index in the current model .
function: def get_value(self, thread_id: int, index: int) -> ValueType:
          '''
          Get the value of the symbol index in the current model.
  
          Arguments
          ---------
          thread_id
              The index of the solving thread that found the model.
          index
              Index to retreive.
  
          Returns
          -------
          The value of the index in form of an int, float, or Symbol.
          '''
          c_value = self._ffi.new(self.__pre('value_t*'))
          self.__call('assignment_get_value', self._theory, thread_id, index, c_value)
          if c_value.type == 0:
              return c_value.int_number
          if c_value.type == 1:
              return c_value.double_number
          if c_value.type == 2:
              return Symbol(c_value.symbol)
          raise RuntimeError('must not happen')
function_tokens: def get_value ( self , thread_id : int , index : int ) -> ValueType : c_value = self . _ffi . new ( self . __pre ( 'value_t*' ) ) self . __call ( 'assignment_get_value' , self . _theory , thread_id , index , c_value ) if c_value . type == 0 : return c_value . int_number if c_value . type == 1 : return c_value . double_number if c_value . type == 2 : return Symbol ( c_value . symbol ) raise RuntimeError ( 'must not happen' )