ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Ivy_Store_t_ Struct Reference

#include <ivy.h>

Collaboration diagram for Ivy_Store_t_:
Collaboration graph
[legend]

Public Attributes

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

Detailed Description

Definition at line 166 of file ivy.h.

Member Data Documentation

◆ fSatur

int Ivy_Store_t_::fSatur

Definition at line 171 of file ivy.h.

◆ nCuts

int Ivy_Store_t_::nCuts

Definition at line 168 of file ivy.h.

◆ nCutsM

int Ivy_Store_t_::nCutsM

Definition at line 169 of file ivy.h.

◆ nCutsMax

int Ivy_Store_t_::nCutsMax

Definition at line 170 of file ivy.h.

◆ pCuts

Ivy_Cut_t Ivy_Store_t_::pCuts[IVY_CUT_LIMIT]

Definition at line 172 of file ivy.h.

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