Kit_Graph_t_ Struct Reference

#include <kit.h>

Collaboration diagram for Kit_Graph_t_:

[legend]

Data Fields
int	fConst
int	nLeaves
int	nSize
int	nCap
Kit_Node_t *	pNodes
Kit_Edge_t	eRoot

---

Detailed Description

Definition at line 82 of file kit.h.

---

Field Documentation

Kit_Edge_t Kit_Graph_t_::eRoot

Definition at line 89 of file kit.h.

int Kit_Graph_t_::fConst

Definition at line 84 of file kit.h.

int Kit_Graph_t_::nCap

Definition at line 87 of file kit.h.

int Kit_Graph_t_::nLeaves

Definition at line 85 of file kit.h.

int Kit_Graph_t_::nSize

Definition at line 86 of file kit.h.

Kit_Node_t* Kit_Graph_t_::pNodes

Definition at line 88 of file kit.h.

---

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

• src/aig/kit/kit.h