NuSMV/code/nusmv/core/enc/bool/BoolEnc.h File Reference
#include "nusmv/core/enc/bool/BitValues.h"
#include "nusmv/core/enc/base/BaseEnc.h"
#include "nusmv/core/compile/symb_table/SymbTable.h"
#include "nusmv/core/utils/NodeList.h"
#include "nusmv/core/node/node.h"
#include "nusmv/core/set/set.h"
#include "nusmv/core/utils/utils.h"
#include "nusmv/core/utils/object.h"
Go to the source code of this file.
Define Documentation
To cast and check instances of class BoolEnc.
These macros must be used respectively to cast and to check instances of class BoolEnc
#define BOOL_ENC_CHECK_INSTANCE |
( |
self |
|
) |
(nusmv_assert(BOOL_ENC(self) != BOOL_ENC(NULL))) |
Typedef Documentation
Function Documentation
boolean BoolEnc_is_bool_layer |
( |
const char * |
layer_name |
) |
|
Determines if a layer name corresponds to a bool layer.
Given the name of a layer, returns true if it is the name of a boolean layer.
None
- See also:
- BoolEnc_scalar_layer_to_bool_layer