NuSMV/code/nusmv/shell/cinit/cinitCmd.h File Reference

#include "nusmv/core/cinit/NuSMVEnv.h"

Go to the source code of this file.

Functions

void cinit_AddCmd (NuSMVEnv_ptr env)
 Module header for shell commands.

Function Documentation

void cinit_AddCmd ( NuSMVEnv_ptr  env  ) 

Module header for shell commands.

Author:
Michele Dorigatti
Todo:
: Missing description

AutomaticStart

Todo:
Missing synopsis
Todo:
Missing description

AutomaticEnd

All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1