GenericTrans Struct Reference

The private interface of class GenericTrans. More...

#include <GenericTrans_private.h>

Public Member Functions
	INHERITS_FROM (EnvObject)
Data Fields
TransType	_type
Related Functions
(Note that these are not member functions.)
void	generic_trans_copy_aux (const GenericTrans_ptr self, GenericTrans_ptr copy)
void	generic_trans_deinit (GenericTrans_ptr self)
void	generic_trans_init (GenericTrans_ptr self, const NuSMVEnv_ptr env, const TransType trans_type)
GenericTrans_ptr	GenericTrans_create (const NuSMVEnv_ptr env, const TransType trans_type)
	Builds the transition relation.
TransType	GenericTrans_get_type (const GenericTrans_ptr self)
	Retrives the type of trans structure.

---

Detailed Description

The private interface of class GenericTrans.

The public interface of the GenericTrans class.

Author:

Roberto Cavada Private definition to be used by derived classes

Transition Relation Class "GenericTrans" This class defines a prototype for a generic transition relation. This class is virtual, and must be specialized.

Author:

Roberto Cavada Declares the public interface to manipulate generic trans objects, to be used as base class from more specific derived transition relation objects

The structure used to represent the transition relation.

---

Member Function Documentation

GenericTrans::INHERITS_FROM

(

EnvObject

)

---

Friends And Related Function Documentation

void generic_trans_copy_aux	(	const GenericTrans_ptr	self,
		GenericTrans_ptr	copy
	)			[related]

Todo:

void generic_trans_deinit

(

GenericTrans_ptr

self

)

[related]

Todo:

void generic_trans_init	(	GenericTrans_ptr	self,
		const NuSMVEnv_ptr	env,
		const TransType	trans_type
	)			[related]

Todo:

GenericTrans_ptr GenericTrans_create	(	const NuSMVEnv_ptr	env,
		const TransType	trans_type
	)			[related]

Builds the transition relation.

None of given arguments will become owned by self. You should destroy cl_options by yourself.

See also:

Object_destroy

TransType GenericTrans_get_type

(

const GenericTrans_ptr

self

)

[related]

Retrives the type of trans structure.

Returns the type of the transition relation structure passed as the arguments.

---

Field Documentation

TransType GenericTrans::_type

---

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

• NuSMV/code/nusmv/core/trans/generic/GenericTrans_private.h
• NuSMV/code/nusmv/core/trans/generic/GenericTrans.h