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

Public Attributes

Gia_Man_t * pGia
 
int nVars
 
int Cube1
 
Vec_Wec_t * vEsops
 
Hsh_VecMan_t * pHash
 
Vec_Wec_t * vCubes
 
Vec_Int_t * vCube1
 
Vec_Int_t * vCube2
 
Vec_Int_t * vCube
 

Detailed Description

Definition at line 34 of file giaEsop.c.

Member Data Documentation

◆ Cube1

int Eso_Man_t_::Cube1

Definition at line 38 of file giaEsop.c.

◆ nVars

int Eso_Man_t_::nVars

Definition at line 37 of file giaEsop.c.

◆ pGia

Gia_Man_t* Eso_Man_t_::pGia

Definition at line 36 of file giaEsop.c.

◆ pHash

Hsh_VecMan_t* Eso_Man_t_::pHash

Definition at line 40 of file giaEsop.c.

◆ vCube

Vec_Int_t* Eso_Man_t_::vCube

Definition at line 45 of file giaEsop.c.

◆ vCube1

Vec_Int_t* Eso_Man_t_::vCube1

Definition at line 43 of file giaEsop.c.

◆ vCube2

Vec_Int_t* Eso_Man_t_::vCube2

Definition at line 44 of file giaEsop.c.

◆ vCubes

Vec_Wec_t* Eso_Man_t_::vCubes

Definition at line 41 of file giaEsop.c.

◆ vEsops

Vec_Wec_t* Eso_Man_t_::vEsops

Definition at line 39 of file giaEsop.c.

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