UStringMgr Struct Reference

Public interface of class 'UStringMgr'. More...

#include <UStringMgr.h>

Related Functions
(Note that these are not member functions.)
UStringMgr_ptr	UStringMgr_create (void)
	The UStringMgr class constructor.
void	UStringMgr_destroy (UStringMgr_ptr self)
	The UStringMgr class destructor.
string_ptr	UStringMgr_find_string (UStringMgr_ptr self, const char *string)
	Returns the unique representation of the given string.

---

Detailed Description

Public interface of class 'UStringMgr'.

Author:

Alessandro Mariotti

Todo:

: Missing description

Definition of the public accessor for class UStringMgr

---

Friends And Related Function Documentation

UStringMgr_ptr UStringMgr_create

(

void

)

[related]

The UStringMgr class constructor.

AutomaticStart

The UStringMgr class constructor

See also:

UStringMgr_destroy

void UStringMgr_destroy

(

UStringMgr_ptr

self

)

[related]

The UStringMgr class destructor.

The UStringMgr class destructor

See also:

UStringMgr_create

string_ptr UStringMgr_find_string	(	UStringMgr_ptr	self,
		const char *	string
	)			[related]

Returns the unique representation of the given string.

Returns the unique representation of the given string

---

The documentation for this struct was generated from the following file:

• NuSMV/code/nusmv/core/utils/UStringMgr.h