Ivy_Store_t_ Struct Reference

#include <ivy.h>

Collaboration diagram for Ivy_Store_t_:

[legend]

Data Fields
int	nCuts
int	nCutsM
int	nCutsMax
int	fSatur
Ivy_Cut_t	pCuts [IVY_CUT_LIMIT]

---

Detailed Description

Definition at line 164 of file ivy.h.

---

Field Documentation

int Ivy_Store_t_::fSatur

Definition at line 169 of file ivy.h.

int Ivy_Store_t_::nCuts

Definition at line 166 of file ivy.h.

int Ivy_Store_t_::nCutsM

Definition at line 167 of file ivy.h.

int Ivy_Store_t_::nCutsMax

Definition at line 168 of file ivy.h.

Ivy_Cut_t Ivy_Store_t_::pCuts[IVY_CUT_LIMIT]

Definition at line 170 of file ivy.h.

---

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

• src/aig/ivy/ivy.h