NuSMV/code/nusmv/shell/enc/encCmd.c File Reference

#include "nusmv/shell/enc/encCmd.h"
#include "nusmv/shell/cmd/cmd.h"
#include "nusmv/core/compile/compile.h"
#include "nusmv/core/enc/enc.h"
#include "nusmv/core/parser/parser.h"
#include "nusmv/core/prop/Prop.h"
#include "nusmv/core/prop/propPkg.h"
#include "nusmv/core/utils/ErrorMgr.h"
#include "nusmv/core/utils/Logger.h"
#include "nusmv/core/utils/OStream.h"
#include "nusmv/core/utils/StreamMgr.h"
#include "nusmv/core/utils/error.h"
#include <math.h>
#include <stdio.h>

Functions
void	Enc_add_commands (NuSMVEnv_ptr env)
	Adds commands related to Enc package.

---

Function Documentation

void Enc_add_commands

(

NuSMVEnv_ptr

env

)

Adds commands related to Enc package.

Module header for shell commands.

SideEffects []

SeeAlso [Enc_init_encodings]

See also:

Enc_init_encodings