Dar_Cut_t_ Struct Reference

#include <darInt.h>

Data Fields
unsigned	uSign
unsigned	uTruth: 16
unsigned	Value: 11
unsigned	fBest: 1
unsigned	fUsed: 1
unsigned	nLeaves: 3
int	pLeaves [4]

---

Detailed Description

Definition at line 55 of file darInt.h.

---

Field Documentation

unsigned Dar_Cut_t_::fBest

Definition at line 60 of file darInt.h.

unsigned Dar_Cut_t_::fUsed

Definition at line 61 of file darInt.h.

unsigned Dar_Cut_t_::nLeaves

Definition at line 62 of file darInt.h.

int Dar_Cut_t_::pLeaves[4]

Definition at line 63 of file darInt.h.

unsigned Dar_Cut_t_::uSign

Definition at line 57 of file darInt.h.

unsigned Dar_Cut_t_::uTruth

Definition at line 58 of file darInt.h.

unsigned Dar_Cut_t_::Value

Definition at line 59 of file darInt.h.

---

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

• src/aig/dar/darInt.h