#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 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))) |
typedef struct BoolEncClient_TAG* BoolEncClient_ptr |