CalBddGenStruct Struct Reference

Collaboration diagram for CalBddGenStruct:

[legend]

Data Fields
Cal_BddManager	manager
bdd_gen_status	status
bdd_gen_type	type
union {
struct {
array_t *   cube
}   cubes
struct {
st_table *   visited
}   nodes
}	gen
struct {
int   sp
CalBddNode_t **   nodeStack
int *   idStack
}	stack
CalBddNode_t *	node

---

Detailed Description

Definition at line 60 of file calPortIter.c.

---

Field Documentation

array_t* CalBddGenStruct::cube

Definition at line 66 of file calPortIter.c.

struct { ... } CalBddGenStruct::cubes

union { ... } CalBddGenStruct::gen

int* CalBddGenStruct::idStack

Definition at line 75 of file calPortIter.c.

Cal_BddManager CalBddGenStruct::manager

Definition at line 61 of file calPortIter.c.

CalBddNode_t* CalBddGenStruct::node

Definition at line 77 of file calPortIter.c.

struct { ... } CalBddGenStruct::nodes

CalBddNode_t** CalBddGenStruct::nodeStack

Definition at line 74 of file calPortIter.c.

int CalBddGenStruct::sp

Definition at line 73 of file calPortIter.c.

struct { ... } CalBddGenStruct::stack

bdd_gen_status CalBddGenStruct::status

Definition at line 62 of file calPortIter.c.

bdd_gen_type CalBddGenStruct::type

Definition at line 63 of file calPortIter.c.

st_table* CalBddGenStruct::visited

Definition at line 69 of file calPortIter.c.

---

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

• src/calPort/calPortIter.c