#include "nusmv/core/utils/defs.h"
#include "nusmv/core/cinit/NuSMVEnv.h"
Go to the source code of this file.
Functions | |
void | FlatteningPkg_init (NuSMVEnv_ptr env) |
Public header of the compile.flattening package. | |
void | FlatteningPkg_quit (NuSMVEnv_ptr env) |
void FlatteningPkg_init | ( | NuSMVEnv_ptr | env | ) |
void FlatteningPkg_quit | ( | NuSMVEnv_ptr | env | ) |