BoolSexpFsm Struct Reference

Private and protected interface of class 'BoolSexpFsm'. More...

#include <BoolSexpFsm_private.h>

Public Member Functions
	INHERITS_FROM (SexpFsm)
Data Fields
SymbLayer_ptr	det_layer
BddEnc_ptr	enc
Related Functions
(Note that these are not member functions.)
void	bool_sexp_fsm_copy_aux (const BoolSexpFsm_ptr self, BoolSexpFsm_ptr copy)
	The BoolSexpFsm class private deinitializer.
void	bool_sexp_fsm_deinit (BoolSexpFsm_ptr self)
	The BoolSexpFsm class private deinitializer.
void	bool_sexp_fsm_init (BoolSexpFsm_ptr self, const FlatHierarchy_ptr hierarchy, const Set_t vars_set, BddEnc_ptr enc, SymbLayer_ptr det_layer)
	The BoolSexpFsm class private initializer.
BoolSexpFsm_ptr	BoolSexpFsm_copy (BoolSexpFsm_ptr self)
	The BoolSexpFsm copy constructor.
BoolSexpFsm_ptr	BoolSexpFsm_create (const FlatHierarchy_ptr hierarchy, const Set_t vars_set, BddEnc_ptr benc, SymbLayer_ptr det_layer)
	The BoolSexpFsm class constructor.
BoolSexpFsm_ptr	BoolSexpFsm_create_from_scalar_fsm (const SexpFsm_ptr scalar_fsm, BddEnc_ptr benc, SymbLayer_ptr det_layer)
	The BoolSexpFsm class constructor from existing sexp fsm which is typically a scalar FSM.
VIRTUAL void	BoolSexpFsm_destroy (BoolSexpFsm_ptr self)
	The BoolSexpFsm class destructor.
BoolEnc_ptr	BoolSexpFsm_get_bool_enc (const BoolSexpFsm_ptr self)
	Returns the BoolEnc instance connected to self.

---

Detailed Description

Private and protected interface of class 'BoolSexpFsm'.

Public interface of class 'BoolSexpFsm'.

Author:

Roberto Cavada This file can be included only by derived and friend classes

BoolSexpFsm class definition derived from class SexpFsm

See also:

Base class SexpFsm

Author:

Roberto Cavada

Todo:

: Missing description

Definition of the public accessor for class BoolSexpFsm

---

Member Function Documentation

BoolSexpFsm::INHERITS_FROM

(

SexpFsm

)

---

Friends And Related Function Documentation

void bool_sexp_fsm_copy_aux	(	const BoolSexpFsm_ptr	self,
		BoolSexpFsm_ptr	copy
	)			[related]

The BoolSexpFsm class private deinitializer.

The BoolSexpFsm class private deinitializer

See also:

BoolSexpFsm_destroy

void bool_sexp_fsm_deinit

(

BoolSexpFsm_ptr

self

)

[related]

The BoolSexpFsm class private deinitializer.

The BoolSexpFsm class private deinitializer

See also:

BoolSexpFsm_destroy

void bool_sexp_fsm_init	(	BoolSexpFsm_ptr	self,
		const FlatHierarchy_ptr	hierarchy,
		const Set_t	vars_set,
		BddEnc_ptr	enc,
		SymbLayer_ptr	det_layer
	)			[related]

The BoolSexpFsm class private initializer.

The BoolSexpFsm class private initializer

See also:

BoolSexpFsm_create

BoolSexpFsm_ptr BoolSexpFsm_copy

(

BoolSexpFsm_ptr

self

)

[related]

The BoolSexpFsm copy constructor.

The BoolSexpFsm copy constructor

See also:

BoolSexpFsm_create

BoolSexpFsm_ptr BoolSexpFsm_create	(	const FlatHierarchy_ptr	hierarchy,
		const Set_t	vars_set,
		BddEnc_ptr	benc,
		SymbLayer_ptr	det_layer
	)			[related]

The BoolSexpFsm class constructor.

AutomaticStart

The BoolSexpFsm class constructor

See also:

BoolSexpFsm_destroy

BoolSexpFsm_ptr BoolSexpFsm_create_from_scalar_fsm	(	const SexpFsm_ptr	scalar_fsm,
		BddEnc_ptr	benc,
		SymbLayer_ptr	det_layer
	)			[related]

The BoolSexpFsm class constructor from existing sexp fsm which is typically a scalar FSM.

The BoolSexpFsm class constructor from existing fsm. If the given fsm is already boolean, a copy is returned. If it is a scalar FSM, its boolean version is created and returned.

See also:

BoolSexpFsm_destroy

VIRTUAL void BoolSexpFsm_destroy

(

BoolSexpFsm_ptr

self

)

[related]

The BoolSexpFsm class destructor.

The BoolSexpFsm class destructor

See also:

BoolSexpFsm_create

BoolEnc_ptr BoolSexpFsm_get_bool_enc

(

const BoolSexpFsm_ptr

self

)

[related]

Returns the BoolEnc instance connected to self.

This method can be called only when a valid BddEnc was passed to the class constructor (not NULL). Returned instance do not belongs to the caller and must _not_ be destroyed

---

Field Documentation

SymbLayer_ptr BoolSexpFsm::det_layer

BddEnc_ptr BoolSexpFsm::enc

---

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

• NuSMV/code/nusmv/core/fsm/sexp/BoolSexpFsm_private.h
• NuSMV/code/nusmv/core/fsm/sexp/BoolSexpFsm.h