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

#include "nusmv/core/enc/base/BoolEncClient.h"
#include "nusmv/core/enc/base/BaseEnc.h"
#include "nusmv/core/enc/base/BaseEnc_private.h"
#include "nusmv/core/enc/bool/BoolEnc_private.h"
#include "nusmv/core/compile/symb_table/SymbTable.h"
#include "nusmv/core/utils/utils.h"

Go to the source code of this file.

Data Structures
struct	BoolEncClient
	Private and protected interface of class 'BoolEncClient'. More...
Functions
void	bool_enc_client_commit_layer (BaseEnc_ptr base_enc, const char *layer_name)
void	bool_enc_client_remove_layer (BaseEnc_ptr base_enc, const char *layer_name)

---

Function Documentation

void bool_enc_client_commit_layer	(	BaseEnc_ptr	base_enc,
		const char *	layer_name
	)

void bool_enc_client_remove_layer	(	BaseEnc_ptr	base_enc,
		const char *	layer_name
	)