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

Public Attributes

Aig_Man_t * pAig
 
int nWords
 
int nPis
 
int nPos
 
int nCis
 
int nCos
 
int nNodes
 
int nObjs
 
int * pFans0
 
int * pFans1
 
Vec_Int_t * vCis2Ids
 
Vec_Int_t * vLos
 
Vec_Int_t * vLis
 
int * pRefs
 
unsigned * pSims
 
unsigned * pMems
 
int nWordsAlloc
 
int nMems
 
int nMemsMax
 
int MemFree
 

Detailed Description

Definition at line 33 of file saigSimSeq.c.

Member Data Documentation

◆ MemFree

int Raig_Man_t_::MemFree

Definition at line 58 of file saigSimSeq.c.

◆ nCis

int Raig_Man_t_::nCis

Definition at line 41 of file saigSimSeq.c.

◆ nCos

int Raig_Man_t_::nCos

Definition at line 42 of file saigSimSeq.c.

◆ nMems

int Raig_Man_t_::nMems

Definition at line 56 of file saigSimSeq.c.

◆ nMemsMax

int Raig_Man_t_::nMemsMax

Definition at line 57 of file saigSimSeq.c.

◆ nNodes

int Raig_Man_t_::nNodes

Definition at line 43 of file saigSimSeq.c.

◆ nObjs

int Raig_Man_t_::nObjs

Definition at line 44 of file saigSimSeq.c.

◆ nPis

int Raig_Man_t_::nPis

Definition at line 39 of file saigSimSeq.c.

◆ nPos

int Raig_Man_t_::nPos

Definition at line 40 of file saigSimSeq.c.

◆ nWords

int Raig_Man_t_::nWords

Definition at line 37 of file saigSimSeq.c.

◆ nWordsAlloc

int Raig_Man_t_::nWordsAlloc

Definition at line 55 of file saigSimSeq.c.

◆ pAig

Aig_Man_t* Raig_Man_t_::pAig

Definition at line 36 of file saigSimSeq.c.

◆ pFans0

int* Raig_Man_t_::pFans0

Definition at line 45 of file saigSimSeq.c.

◆ pFans1

int* Raig_Man_t_::pFans1

Definition at line 46 of file saigSimSeq.c.

◆ pMems

unsigned* Raig_Man_t_::pMems

Definition at line 54 of file saigSimSeq.c.

◆ pRefs

int* Raig_Man_t_::pRefs

Definition at line 51 of file saigSimSeq.c.

◆ pSims

unsigned* Raig_Man_t_::pSims

Definition at line 52 of file saigSimSeq.c.

◆ vCis2Ids

Vec_Int_t* Raig_Man_t_::vCis2Ids

Definition at line 47 of file saigSimSeq.c.

◆ vLis

Vec_Int_t* Raig_Man_t_::vLis

Definition at line 49 of file saigSimSeq.c.

◆ vLos

Vec_Int_t* Raig_Man_t_::vLos

Definition at line 48 of file saigSimSeq.c.

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