BddELFwdSavedOptions Struct Reference

Holds the values of those options that might have been overridden to allow execution of forward Emerson-Lei. More...

#include <bdd.h>

---

Detailed Description

Holds the values of those options that might have been overridden to allow execution of forward Emerson-Lei.

n/a

See also:

Bdd_elfwd_check_set_and_save_options, Bdd_elfwd_restore_options

---

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

• NuSMV/code/nusmv/core/fsm/bdd/bdd.h