AssocAndDestroy Struct Reference

#include <assoc.h>

Data Fields
hash_ptr	assoc
PF_STCPCPCP	destroy_func

---

Detailed Description

Todo:

Missing synopsis

Todo:

Missing description

---

Field Documentation

hash_ptr AssocAndDestroy::assoc

PF_STCPCPCP AssocAndDestroy::destroy_func

---

The documentation for this struct was generated from the following file:

• NuSMV/code/nusmv/core/utils/assoc.h