Dec_Edge_t_ Struct Reference

#include <deco.h>

Data Fields
unsigned	fCompl: 1
unsigned	Node: 30

---

Detailed Description

Definition at line 41 of file deco.h.

---

Field Documentation

unsigned Dec_Edge_t_::fCompl

Definition at line 43 of file deco.h.

unsigned Dec_Edge_t_::Node

Definition at line 44 of file deco.h.

---

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

• src/aig/deco/deco.h
• src/opt/dec/dec.h