Triple Struct Reference

Triple class definition. More...

#include <Triple.h>

Data Fields
void *	first
boolean	frozen
void *	second
void *	third
Related Functions
(Note that these are not member functions.)
Triple_ptr	Triple_create (void *first, void *second, void *third)
	The Triple class constructor.
void	Triple_destroy (Triple_ptr self)
	The Triple class destructor.
void	Triple_freeze (Triple_ptr self)
	Mark the Triple instance as read-only.
void *	Triple_get_first (const Triple_ptr self)
	Get the first value of the Triple instance.
void *	Triple_get_second (const Triple_ptr self)
	Get the second value of the Triple instance.
void *	Triple_get_third (const Triple_ptr self)
	Get the third value of the Triple instance.
unsigned long	Triple_hash (const Triple_ptr self, int size)
	Triple hash function.
void	Triple_init (Triple_ptr self, void *first, void *second, void *third)
	The Triple class initializer.
boolean	Triple_is_freezed (const Triple_ptr self)
	Check if the Triple is freezed.
void	Triple_set_first (Triple_ptr self, void *first)
	Sets the first value for the Triple instance.
void	Triple_set_second (Triple_ptr self, void *second)
	Sets the second value for the Triple instance.
void	Triple_set_third (Triple_ptr self, void *third)
	Sets the third value for the Triple instance.
void	Triple_set_values (Triple_ptr self, void *first, void *second, void *third)
	Sets both the values for the Triple instance.

---

Detailed Description

Triple class definition.

Public interface of class 'Triple'.

Author:

Alessandro Mariotti

Todo:

: Missing description

Definition of the public accessor for class Triple

---

Friends And Related Function Documentation

Triple_ptr Triple_create	(	void *	first,
		void *	second,
		void *	third
	)			[related]

The Triple class constructor.

AutomaticStart

The Triple class constructor

See also:

Triple_destroy

void Triple_destroy

(

Triple_ptr

self

)

[related]

The Triple class destructor.

The Triple class destructor

See also:

Triple_create

void Triple_freeze

(

Triple_ptr

self

)

[related]

Mark the Triple instance as read-only.

Mark the Triple instance as read-only. This is usefull when debugging, and using a Triple instance as key of an hash table, for example

void * Triple_get_first

(

const Triple_ptr

self

)

[related]

Get the first value of the Triple instance.

Get the first value of the Triple instance

void * Triple_get_second

(

const Triple_ptr

self

)

[related]

Get the second value of the Triple instance.

Get the second value of the Triple instance

void * Triple_get_third

(

const Triple_ptr

self

)

[related]

Get the third value of the Triple instance.

Get the third value of the Triple instance

unsigned long Triple_hash	(	const Triple_ptr	self,
		int	size
	)			[related]

Triple hash function.

Triple hash function. No distinction between frozen / unfrozen instances is made. Can be casted to ST_PFICPI

void Triple_init	(	Triple_ptr	self,
		void *	first,
		void *	second,
		void *	third
	)			[related]

The Triple class initializer.

The Triple class initializer. Use this function if declaring a Triple in the stack

See also:

Triple_create

boolean Triple_is_freezed

(

const Triple_ptr

self

)

[related]

Check if the Triple is freezed.

Check if the Triple is freezed (i.e. it is read-only)

void Triple_set_first	(	Triple_ptr	self,
		void *	first
	)			[related]

Sets the first value for the Triple instance.

Sets the first value for the Triple instance. The Triple must not be frozen

void Triple_set_second	(	Triple_ptr	self,
		void *	second
	)			[related]

Sets the second value for the Triple instance.

Sets the second value for the Triple instance. The Triple must not be frozen

void Triple_set_third	(	Triple_ptr	self,
		void *	third
	)			[related]

Sets the third value for the Triple instance.

Sets the third value for the Triple instance. The Triple must not be frozen

void Triple_set_values	(	Triple_ptr	self,
		void *	first,
		void *	second,
		void *	third
	)			[related]

Sets both the values for the Triple instance.

Sets both the values for the Triple instance. The Triple must not be frozen

---

Field Documentation

void* Triple::first

boolean Triple::frozen

void* Triple::second

void* Triple::third

---

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

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