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

#include <luckyInt.h>

Collaboration diagram for swapInfo:
Collaboration graph
[legend]

Public Attributes

varInfo * posArray
 
int * realArray
 
int varN
 
int positionToSwap1
 
int positionToSwap2
 

Detailed Description

Definition at line 80 of file luckyInt.h.

Member Data Documentation

◆ posArray

varInfo* swapInfo::posArray

Definition at line 82 of file luckyInt.h.

◆ positionToSwap1

int swapInfo::positionToSwap1

Definition at line 85 of file luckyInt.h.

◆ positionToSwap2

int swapInfo::positionToSwap2

Definition at line 86 of file luckyInt.h.

◆ realArray

int* swapInfo::realArray

Definition at line 83 of file luckyInt.h.

◆ varN

int swapInfo::varN

Definition at line 84 of file luckyInt.h.

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