NuSMV/code/nusmv/core/be/beRbcManager.h File Reference

#include "nusmv/core/be/be.h"
#include "nusmv/core/cinit/NuSMVEnv.h"

Go to the source code of this file.

Functions
void	Be_PrintStats (Be_Manager_ptr manager, int clustSize, FILE *outFile)
	Prints out some statistical data about the underlying rbc structure.
Be_Manager_ptr	Be_RbcManager_Create (const NuSMVEnv_ptr env, const size_t capacity)
	The interface file for the RBC-dependant Be_Manager implementation.
void	Be_RbcManager_Delete (Be_Manager_ptr self)
	Destroys the given Be_MAnager instance you previously created by using Be_RbcManager_Create.
void	Be_RbcManager_Reserve (Be_Manager_ptr self, const size_t size)
	Changes the maximum number of variables the rbc manager can handle.
void	Be_RbcManager_Reset (const Be_Manager_ptr self)
	Resets RBC cache.

---

Function Documentation

void Be_PrintStats	(	Be_Manager_ptr	manager,
		int	clustSize,
		FILE *	outFile
	)

Prints out some statistical data about the underlying rbc structure.

Be_Manager_ptr Be_RbcManager_Create	(	const NuSMVEnv_ptr	env,
		const size_t	capacity
	)

The interface file for the RBC-dependant Be_Manager implementation.

Author:

Roberto Cavada Be_RbcManager is a derived class of Be_ManagerAutomaticStart

Creates a rbc-specific Be_Manager You must call Be_RbcManager_Delete when the created instance is no longer used.

See also:

Be_RbcManager_Delete

void Be_RbcManager_Delete

(

Be_Manager_ptr

self

)

Destroys the given Be_MAnager instance you previously created by using Be_RbcManager_Create.

See also:

Be_RbcManager_Create

void Be_RbcManager_Reserve	(	Be_Manager_ptr	self,
		const size_t	size
	)

Changes the maximum number of variables the rbc manager can handle.

The given rbc manager will possibly change

void Be_RbcManager_Reset

(

const Be_Manager_ptr

self

)

Resets RBC cache.