permInfo Struct Reference

#include <lucky.h>

Data Fields
int	varN
int *	swapArray
int	swapCtr
int	totalSwaps
int *	flipArray
int	flipCtr
int	totalFlips

Detailed Description

CFile****************************************************************

FileName [lucky.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Semi-canonical form computation package.]

Synopsis [External declarations.]

Author [Jake]

Date [Started - August 2012]

Definition at line 23 of file lucky.h.

Field Documentation

int* permInfo::flipArray

Definition at line 29 of file lucky.h.

int permInfo::flipCtr

Definition at line 30 of file lucky.h.

int* permInfo::swapArray

Definition at line 26 of file lucky.h.

int permInfo::swapCtr

Definition at line 27 of file lucky.h.

int permInfo::totalFlips

Definition at line 31 of file lucky.h.

int permInfo::totalSwaps

Definition at line 28 of file lucky.h.

int permInfo::varN

Definition at line 25 of file lucky.h.

---

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

• lucky.h