ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Gia_ChMan_t_ Struct Reference
Collaboration diagram for Gia_ChMan_t_:
Collaboration graph
[legend]

Public Attributes

Gia_Man_t * pNew
 
Vec_Mem_t * vTtMem
 
Vec_Int_t * vSibls
 
Vec_Int_t * vObj2Tt
 
Vec_Int_t * vTt2Obj
 
Vec_Int_t * vCoLits
 
word * pTruth
 
int nWords
 

Detailed Description

Function*************************************************************

Synopsis [Duplicates AIGs while creating choices.]

Description []

SideEffects []

SeeAlso []

Definition at line 6346 of file giaDup.c.

Member Data Documentation

◆ nWords

int Gia_ChMan_t_::nWords

Definition at line 6355 of file giaDup.c.

◆ pNew

Gia_Man_t* Gia_ChMan_t_::pNew

Definition at line 6348 of file giaDup.c.

◆ pTruth

word* Gia_ChMan_t_::pTruth

Definition at line 6354 of file giaDup.c.

◆ vCoLits

Vec_Int_t* Gia_ChMan_t_::vCoLits

Definition at line 6353 of file giaDup.c.

◆ vObj2Tt

Vec_Int_t* Gia_ChMan_t_::vObj2Tt

Definition at line 6351 of file giaDup.c.

◆ vSibls

Vec_Int_t* Gia_ChMan_t_::vSibls

Definition at line 6350 of file giaDup.c.

◆ vTt2Obj

Vec_Int_t* Gia_ChMan_t_::vTt2Obj

Definition at line 6352 of file giaDup.c.

◆ vTtMem

Vec_Mem_t* Gia_ChMan_t_::vTtMem

Definition at line 6349 of file giaDup.c.

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