NuSMV/code/nusmv/core/utils/bignumbers/bvnumbersInt.h File Reference

#include "nusmv/core/utils/bignumbers/numbersInt.h"
#include <limits.h>

Go to the source code of this file.

Functions
QNumber	BVQNumber_bit_and (const QNumber *n1, const QNumber *n2)
long	BVQNumber_bit_and_l (long a, long b)
QNumber	BVQNumber_bit_complement (const QNumber *n)
QNumber	BVQNumber_bit_left_shift (const QNumber *n, size_t i)
QNumber	BVQNumber_bit_or (const QNumber *n1, const QNumber *n2)
long	BVQNumber_bit_or_l (long a, long b)
QNumber	BVQNumber_bit_right_shift (const QNumber *n, size_t i)
QNumber	BVQNumber_bit_xor (const QNumber *n1, const QNumber *n2)
long	BVQNumber_bit_xor_l (long a, long b)
void	BVQNumber_check_bv (const QNumber *n)
boolean	BVQNumber_fits (const QNumber *n, size_t num_bits)
	The header file containing the word specific functions on infinite length numbers.
boolean	BVQNumber_is_pow2 (const QNumber *n, size_t *out_n)
QNumber	BVQNumber_pow2 (size_t n)
size_t	BVQNumber_scan_bit_1 (const QNumber *n, size_t start_index)
void	BVQNumber_set_bit (QNumber *n, size_t index, int value)
boolean	BVQNumber_test_bit (const QNumber *n, size_t index)
boolean	BVQNumber_to_long (const QNumber *n, long *out)
QNumber	BVQNumber_twos_complement (const QNumber *n, size_t num_bits)
size_t	get_max_size_t_value (void)

---

Function Documentation

QNumber BVQNumber_bit_and	(	const QNumber *	n1,
		const QNumber *	n2
	)

long BVQNumber_bit_and_l	(	long	a,
		long	b
	)

QNumber BVQNumber_bit_complement

(

const QNumber *

n

)

QNumber BVQNumber_bit_left_shift	(	const QNumber *	n,
		size_t	i
	)

QNumber BVQNumber_bit_or	(	const QNumber *	n1,
		const QNumber *	n2
	)

long BVQNumber_bit_or_l	(	long	a,
		long	b
	)

QNumber BVQNumber_bit_right_shift	(	const QNumber *	n,
		size_t	i
	)

QNumber BVQNumber_bit_xor	(	const QNumber *	n1,
		const QNumber *	n2
	)

long BVQNumber_bit_xor_l	(	long	a,
		long	b
	)

void BVQNumber_check_bv

(

const QNumber *

n

)

boolean BVQNumber_fits	(	const QNumber *	n,
		size_t	num_bits
	)

The header file containing the word specific functions on infinite length numbers.

Author:

Todo:

: Missing author

Todo:

: Missing description

Todo:

Missing synopsis

Todo:

Missing description

AutomaticStart

boolean BVQNumber_is_pow2	(	const QNumber *	n,
		size_t *	out_n
	)

QNumber BVQNumber_pow2

(

size_t

n

)

size_t BVQNumber_scan_bit_1	(	const QNumber *	n,
		size_t	start_index
	)

void BVQNumber_set_bit	(	QNumber *	n,
		size_t	index,
		int	value
	)

boolean BVQNumber_test_bit	(	const QNumber *	n,
		size_t	index
	)

boolean BVQNumber_to_long	(	const QNumber *	n,
		long *	out
	)

QNumber BVQNumber_twos_complement	(	const QNumber *	n,
		size_t	num_bits
	)

size_t get_max_size_t_value

(

void

)