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

Public Attributes

int nIns
 
int nDivs
 
int nDivsA
 
int nOuts
 
int nPats
 
int nWords
 
Vec_Wrd_t vIns
 
Vec_Wrd_t vOuts
 
word ** ppLits
 
word ** ppSets
 
Vec_Int_t vSol
 
Vec_Int_t vSolBest
 
Vec_Int_t vTempBest
 
Vec_Int_t vSupp
 

Detailed Description

Definition at line 34 of file giaResub6.c.

Member Data Documentation

◆ nDivs

int Res6_Man_t_::nDivs

Definition at line 37 of file giaResub6.c.

◆ nDivsA

int Res6_Man_t_::nDivsA

Definition at line 38 of file giaResub6.c.

◆ nIns

int Res6_Man_t_::nIns

Definition at line 36 of file giaResub6.c.

◆ nOuts

int Res6_Man_t_::nOuts

Definition at line 39 of file giaResub6.c.

◆ nPats

int Res6_Man_t_::nPats

Definition at line 40 of file giaResub6.c.

◆ nWords

int Res6_Man_t_::nWords

Definition at line 41 of file giaResub6.c.

◆ ppLits

word** Res6_Man_t_::ppLits

Definition at line 44 of file giaResub6.c.

◆ ppSets

word** Res6_Man_t_::ppSets

Definition at line 45 of file giaResub6.c.

◆ vIns

Vec_Wrd_t Res6_Man_t_::vIns

Definition at line 42 of file giaResub6.c.

◆ vOuts

Vec_Wrd_t Res6_Man_t_::vOuts

Definition at line 43 of file giaResub6.c.

◆ vSol

Vec_Int_t Res6_Man_t_::vSol

Definition at line 46 of file giaResub6.c.

◆ vSolBest

Vec_Int_t Res6_Man_t_::vSolBest

Definition at line 47 of file giaResub6.c.

◆ vSupp

Vec_Int_t Res6_Man_t_::vSupp

Definition at line 49 of file giaResub6.c.

◆ vTempBest

Vec_Int_t Res6_Man_t_::vTempBest

Definition at line 48 of file giaResub6.c.

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