NuSMV/code/nusmv/core/enc/base/BoolEncClient.h File Reference

#include "nusmv/core/enc/bool/BoolEnc.h"
#include "nusmv/core/utils/utils.h"

Go to the source code of this file.

Defines

#define BOOL_ENC_CLIENT(self)   ((BoolEncClient_ptr) self)
 To cast and check instances of class BoolEncClient.
#define BOOL_ENC_CLIENT_CHECK_INSTANCE(self)   (nusmv_assert(BOOL_ENC_CLIENT(self) != BOOL_ENC_CLIENT(NULL)))

Typedefs

typedef struct BoolEncClient_TAG * BoolEncClient_ptr

Define Documentation

#define BOOL_ENC_CLIENT ( self   )     ((BoolEncClient_ptr) self)

To cast and check instances of class BoolEncClient.

These macros must be used respectively to cast and to check instances of class BoolEncClient

#define BOOL_ENC_CLIENT_CHECK_INSTANCE ( self   )     (nusmv_assert(BOOL_ENC_CLIENT(self) != BOOL_ENC_CLIENT(NULL)))
Todo:
Missing synopsis
Todo:
Missing description

Typedef Documentation

typedef struct BoolEncClient_TAG* BoolEncClient_ptr
All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

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