BoolEncClient Struct Reference

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

#include <BoolEncClient_private.h>

Public Member Functions

 INHERITS_FROM (BaseEnc)

Data Fields

BoolEnc_ptr bool_enc

Related Functions

(Note that these are not member functions.)



void bool_enc_client_deinit (BoolEncClient_ptr self)
void bool_enc_client_init (BoolEncClient_ptr self, SymbTable_ptr symb_table, BoolEnc_ptr bool_enc)
VIRTUAL void BoolEncClient_destroy (BoolEncClient_ptr self)
 The BoolEncClient class destructor.
BoolEnc_ptr BoolEncClient_get_bool_enc (const BoolEncClient_ptr self)
 Returns the contained (used) BoolEnc instance.

Detailed Description

Private and protected interface of class 'BoolEncClient'.

Public interface of pure base class 'BoolEncClient'.

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

BoolEncClient class definition derived from class BaseEnc

See also:
Base class BaseEnc
Author:
Roberto Cavada This is a base class for all those encoders that need to access an instance of BoolEnc for their operations.

Definition of the public accessor for class BoolEncClient


Member Function Documentation

BoolEncClient::INHERITS_FROM ( BaseEnc   ) 

Friends And Related Function Documentation

void bool_enc_client_deinit ( BoolEncClient_ptr  self  )  [related]
void bool_enc_client_init ( BoolEncClient_ptr  self,
SymbTable_ptr  symb_table,
BoolEnc_ptr  bool_enc 
) [related]
VIRTUAL void BoolEncClient_destroy ( BoolEncClient_ptr  self  )  [related]

The BoolEncClient class destructor.

The BoolEncClient class destructor. Since this class is pure, only a virtual destructor is provided, and there is no constructor

Todo:
BoolEnc_ptr BoolEncClient_get_bool_enc ( const BoolEncClient_ptr  self  )  [related]

Returns the contained (used) BoolEnc instance.

AutomaticStart

REturned instance belongs to self, do not destroy it.


Field Documentation


The documentation for this struct was generated from the following files:
 All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1