NuSMV/code/nusmv/core/enc/bool/BoolEnc_private.h File Reference

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

Go to the source code of this file.

Data Structures
struct	BoolEnc
	Private and protected interface of class 'BoolEnc'. More...
Functions
void	bool_enc_commit_layer (BaseEnc_ptr enc_base, const char *layer_name)
void	bool_enc_remove_layer (BaseEnc_ptr enc_base, const char *layer_name)

---

Function Documentation

void bool_enc_commit_layer	(	BaseEnc_ptr	enc_base,
		const char *	layer_name
	)

void bool_enc_remove_layer	(	BaseEnc_ptr	enc_base,
		const char *	layer_name
	)