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

Public Attributes

sat_solver * pSat
 
int nVars
 
int LogN
 
int Power2
 
int FirstVar
 
int nBTLimit
 
int DelayMax
 
int nEdges
 
int fDelay
 
int fReverse
 
int fVerbose
 
Gia_Man_t * pGia
 
Vec_Int_t * vPolars
 
Vec_Int_t * vToSkip
 
Vec_Int_t * vEdges
 
Vec_Int_t * vFirsts
 
Vec_Int_t * vNvars
 
Vec_Int_t * vLits
 
int * pLevels
 
abctime timeStart
 

Detailed Description

Definition at line 33 of file giaSatEdge.c.

Member Data Documentation

◆ DelayMax

int Seg_Man_t_::DelayMax

Definition at line 43 of file giaSatEdge.c.

◆ fDelay

int Seg_Man_t_::fDelay

Definition at line 45 of file giaSatEdge.c.

◆ FirstVar

int Seg_Man_t_::FirstVar

Definition at line 40 of file giaSatEdge.c.

◆ fReverse

int Seg_Man_t_::fReverse

Definition at line 46 of file giaSatEdge.c.

◆ fVerbose

int Seg_Man_t_::fVerbose

Definition at line 47 of file giaSatEdge.c.

◆ LogN

int Seg_Man_t_::LogN

Definition at line 38 of file giaSatEdge.c.

◆ nBTLimit

int Seg_Man_t_::nBTLimit

Definition at line 42 of file giaSatEdge.c.

◆ nEdges

int Seg_Man_t_::nEdges

Definition at line 44 of file giaSatEdge.c.

◆ nVars

int Seg_Man_t_::nVars

Definition at line 37 of file giaSatEdge.c.

◆ pGia

Gia_Man_t* Seg_Man_t_::pGia

Definition at line 49 of file giaSatEdge.c.

◆ pLevels

int* Seg_Man_t_::pLevels

Definition at line 56 of file giaSatEdge.c.

◆ Power2

int Seg_Man_t_::Power2

Definition at line 39 of file giaSatEdge.c.

◆ pSat

sat_solver* Seg_Man_t_::pSat

Definition at line 35 of file giaSatEdge.c.

◆ timeStart

abctime Seg_Man_t_::timeStart

Definition at line 59 of file giaSatEdge.c.

◆ vEdges

Vec_Int_t* Seg_Man_t_::vEdges

Definition at line 52 of file giaSatEdge.c.

◆ vFirsts

Vec_Int_t* Seg_Man_t_::vFirsts

Definition at line 53 of file giaSatEdge.c.

◆ vLits

Vec_Int_t* Seg_Man_t_::vLits

Definition at line 55 of file giaSatEdge.c.

◆ vNvars

Vec_Int_t* Seg_Man_t_::vNvars

Definition at line 54 of file giaSatEdge.c.

◆ vPolars

Vec_Int_t* Seg_Man_t_::vPolars

Definition at line 50 of file giaSatEdge.c.

◆ vToSkip

Vec_Int_t* Seg_Man_t_::vToSkip

Definition at line 51 of file giaSatEdge.c.

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