NuSMV/code/nusmv/core/utils/bignumbers/bignumbers.h

Go to the documentation of this file.

/* ---------------------------------------------------------------------------


  This file is part of the ``utils/bigwordnumbers'' package of NuSMV version 2.
  Copyright (C) 2012 by FBK-irst.

  NuSMV version 2 is free software; you can redistribute it and/or
  modify it under the terms of the GNU Lesser General Public
  License as published by the Free Software Foundation; either
  version 2 of the License, or (at your option) any later version.

  NuSMV version 2 is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  Lesser General Public License for more details.

  You should have received a copy of the GNU Lesser General Public
  License along with this library; if not, write to the Free Software
  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307  USA.

  For more information on NuSMV see <http://nusmv.fbk.eu>
  or email to <nusmv-users@fbk.eu>.
  Please report bugs to <nusmv-users@fbk.eu>.

  To contact the NuSMV development board, email to <nusmv@fbk.eu>. 

-----------------------------------------------------------------------------*/

#ifndef __NUSMV_CORE_UTILS_BIGNUMBERS_BIGNUMBERS_H__

#define __NUSMV_CORE_UTILS_BIGNUMBERS_BIGNUMBERS_H__

#include "nusmv/core/utils/utils.h"

/*---------------------------------------------------------------------------*/
/* Constant declarations                                                     */
/*---------------------------------------------------------------------------*/

/*---------------------------------------------------------------------------*/
/* Type declarations                                                         */
/*---------------------------------------------------------------------------*/

typedef struct {
  void *repr;
} Number;

/*---------------------------------------------------------------------------*/
/* Stucture declarations                                                     */
/*---------------------------------------------------------------------------*/

/*---------------------------------------------------------------------------*/
/* Variable declarations                                                     */
/*---------------------------------------------------------------------------*/

/*---------------------------------------------------------------------------*/
/* Macro declarations                                                        */
/*---------------------------------------------------------------------------*/

/*---------------------------------------------------------------------------*/
/* Function prototypes                                                       */
/*---------------------------------------------------------------------------*/

Number BigNumber_bit_complement(Number* n);

Number BigNumber_twos_complement(Number* n, int width);

Number BigNumber_bit_and(Number* left, Number* right);

Number BigNumber_bit_or(Number* left, Number* right);

Number BigNumber_bit_xor(Number* left, Number* right);

Number BigNumber_bit_left_shift(Number* number, int amount);

Number BigNumber_bit_right_shift(Number* number, int amount);

Number BigNumber_pow2(int widht);

Number BigNumber_max_unsigned_int(int widht);

boolean
BigNumber_to_unsigned_long_long(Number* number,
                                unsigned long long* target);

void BigNumber_set_bit(Number* number,
                              int location, int value);

boolean BigNumber_test_bit(Number* number, int location);

Number
BigNumber_make_number_from_unsigned_long_long(unsigned long long n);

Number BigNumber_make_number_from_long(long n);

int BigNumber_assign_number_from_string(char* string,
                                               char* error_char,
                                               int base,
                                               Number* value);

Number BigNumber_multiplication(Number* left, Number* right);

Number BigNumber_plus(Number* left, Number* right);

Number BigNumber_minus(Number* left, Number* right);

Number BigNumber_copy(Number* orig);

boolean BigNumber_less_than(Number* left, Number* right);

boolean BigNumber_equal(Number* left, Number* right);

boolean BigNumber_identity(Number* left, Number* right);

boolean
BigNumber_does_integer_fit_into_number_of_bits(Number* v, int widht);

void
BigNumber_divmod(Number* left, Number* right, Number* q, Number* r);

void BigNumber_free_number(Number* number);

char*  BigNumber_print_as_number(Number* number, int base);

#endif /* __NUSMV_CORE_UTILS_BIGNUMBERS_BIGNUMBERS_H__ */

---