shift_memoize_key Struct Reference

The package internal interface for the be package. More...

#include <beInt.h>

Data Fields
be_ptr	be
int	shift

---

Detailed Description

The package internal interface for the be package.

Author:

Roberto Cavada

Todo:

: Missing description

shift_memoize_key is a private struct used in shift memoizing Used in order to contain the key values in hash operation involved in shift memoizing

---

Field Documentation

be_ptr shift_memoize_key::be

int shift_memoize_key::shift

---

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

• NuSMV/code/nusmv/core/be/beInt.h