Cnf_Cut_t_ Struct Reference

#include <cnf.h>

Collaboration diagram for Cnf_Cut_t_:

[legend]

Data Fields
char	nFanins
char	Cost
short	nWords
Vec_Int_t *	vIsop [2]
int	pFanins [0]

---

Detailed Description

Definition at line 66 of file cnf.h.

---

Field Documentation

char Cnf_Cut_t_::Cost

Definition at line 69 of file cnf.h.

char Cnf_Cut_t_::nFanins

Definition at line 68 of file cnf.h.

short Cnf_Cut_t_::nWords

Definition at line 70 of file cnf.h.

int Cnf_Cut_t_::pFanins[0]

Definition at line 72 of file cnf.h.

Vec_Int_t* Cnf_Cut_t_::vIsop[2]

Definition at line 71 of file cnf.h.

---

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

• src/aig/cnf/cnf.h