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

#include <lucky.h>

Public Attributes

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.

Member Data Documentation

◆ flipArray

int* permInfo::flipArray

Definition at line 29 of file lucky.h.

◆ flipCtr

int permInfo::flipCtr

Definition at line 30 of file lucky.h.

◆ swapArray

int* permInfo::swapArray

Definition at line 26 of file lucky.h.

◆ swapCtr

int permInfo::swapCtr

Definition at line 27 of file lucky.h.

◆ totalFlips

int permInfo::totalFlips

Definition at line 31 of file lucky.h.

◆ totalSwaps

int permInfo::totalSwaps

Definition at line 28 of file lucky.h.

◆ varN

int permInfo::varN

Definition at line 25 of file lucky.h.

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