NuSMV/code/nusmv/core/bmc/sbmc/sbmcHash.h File Reference

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

Go to the source code of this file.

Data Structures
struct	hashPtr
struct	table_pair
Defines
#define	BMC_HASH_NOTFOUND   -1
	Public interface for the hash for pairs (node_ptr, unsigned).
Functions
void	Bmc_Hash_delete_table (hashPtr hash)
	Delete the table.
int	Bmc_Hash_find (hashPtr, node_ptr)
	Find a node in the table.
void	Bmc_Hash_insert (hashPtr, node_ptr, int)
	Insert an element in the table.
hashPtr	Bmc_Hash_new_htable (const NuSMVEnv_ptr env)
	Create a new hash_table.
unsigned	Bmc_Hash_size (hashPtr hash)
	Return the number of occupied slots.

---

Define Documentation

#define BMC_HASH_NOTFOUND   -1

Public interface for the hash for pairs (node_ptr, unsigned).

Author:

Timo Latvala An hash table for pairs (node_ptr, unsigned).

Todo:

Missing synopsis

Todo:

Missing description

Todo:

Missing synopsis

Todo:

Missing description

---

Function Documentation

void Bmc_Hash_delete_table

(

hashPtr

hash

)

Delete the table.

Delete the table

None

int Bmc_Hash_find	(	hashPtr	,
		node_ptr
	)

Find a node in the table.

Find a node in the table. Return BMC_HASH_NOTFOUND if the node is not present

None

void Bmc_Hash_insert	(	hashPtr	,
		node_ptr	,
		int
	)

Insert an element in the table.

Insert an element in the table

None

hashPtr Bmc_Hash_new_htable

(

const NuSMVEnv_ptr

env

)

Create a new hash_table.

AutomaticStart

Create a new hash_table

None

unsigned Bmc_Hash_size

(

hashPtr

hash

)

Return the number of occupied slots.

Return the number of occupied slots

None