NuSMV/code/nusmv/core/enc/be/BeEnc_private.h File Reference

#include "nusmv/core/enc/be/BeEnc.h"
#include "nusmv/core/enc/base/BoolEncClient.h"
#include "nusmv/core/enc/base/BoolEncClient_private.h"
#include "nusmv/core/be/be.h"
#include "nusmv/core/utils/NodeList.h"
#include "nusmv/core/utils/assoc.h"
#include "nusmv/core/utils/utils.h"

Go to the source code of this file.

Data Structures
struct	BeEnc
	Private and protected interface of class 'BeEnc'. More...
Functions
void	be_enc_commit_layer (BaseEnc_ptr enc_base, const char *layer_name)
void	be_enc_remove_layer (BaseEnc_ptr enc_base, const char *layer_name)

---

Function Documentation

void be_enc_commit_layer	(	BaseEnc_ptr	enc_base,
		const char *	layer_name
	)

void be_enc_remove_layer	(	BaseEnc_ptr	enc_base,
		const char *	layer_name
	)