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

Public Attributes

Vec_Int_t vCis
 
Vec_Int_t vCos
 
Vec_Int_t vFanins
 
Vec_Int_t vFanoutN
 
Vec_Int_t vFanout0
 
Vec_Str_t vValues
 
Vec_Int_t vCopies
 

Detailed Description

Definition at line 32 of file gia.c.

Member Data Documentation

◆ vCis

Vec_Int_t Slv_Man_t_::vCis

Definition at line 34 of file gia.c.

◆ vCopies

Vec_Int_t Slv_Man_t_::vCopies

Definition at line 40 of file gia.c.

◆ vCos

Vec_Int_t Slv_Man_t_::vCos

Definition at line 35 of file gia.c.

◆ vFanins

Vec_Int_t Slv_Man_t_::vFanins

Definition at line 36 of file gia.c.

◆ vFanout0

Vec_Int_t Slv_Man_t_::vFanout0

Definition at line 38 of file gia.c.

◆ vFanoutN

Vec_Int_t Slv_Man_t_::vFanoutN

Definition at line 37 of file gia.c.

◆ vValues

Vec_Str_t Slv_Man_t_::vValues

Definition at line 39 of file gia.c.

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