jump_buf_ Struct Reference

#include <bddint.h>

Data Fields
jmp_buf	context

---

Detailed Description

Definition at line 473 of file bddint.h.

---

Field Documentation

jmp_buf jump_buf_::context

Definition at line 475 of file bddint.h.

---

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

• src/cmuBdd/bddint.h