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

Public Attributes

Gia_Man_t * pGia
 
int nLevels
 
int fVerbose
 
int nSatCalls
 
int nNodeVars
 
int nCutVars
 
int nEdgeVars
 
int nDelayVars
 
int nVarsTotal
 
int nCutClas
 
int nEdgeClas
 
int nEdgeClas2
 
int nDelayClas
 
sat_solver * pSat
 
Vec_Bit_t * vMask
 
Vec_Int_t * vCuts
 
Vec_Wec_t * vCutFanins
 
Vec_Wec_t * vFanoutEdges
 
Vec_Wec_t * vEdgeCuts
 
Vec_Int_t * vObjMap
 
Vec_Int_t * vCutFirst
 
Vec_Int_t * vEdgeFirst
 
Vec_Int_t * vDelayFirst
 
Vec_Int_t * vPolars
 
Vec_Int_t * vLits
 
abctime timeStart
 

Detailed Description

Definition at line 402 of file giaSatLE.c.

Member Data Documentation

◆ fVerbose

int Sle_Man_t_::fVerbose

Definition at line 407 of file giaSatLE.c.

◆ nCutClas

int Sle_Man_t_::nCutClas

Definition at line 416 of file giaSatLE.c.

◆ nCutVars

int Sle_Man_t_::nCutVars

Definition at line 411 of file giaSatLE.c.

◆ nDelayClas

int Sle_Man_t_::nDelayClas

Definition at line 419 of file giaSatLE.c.

◆ nDelayVars

int Sle_Man_t_::nDelayVars

Definition at line 413 of file giaSatLE.c.

◆ nEdgeClas

int Sle_Man_t_::nEdgeClas

Definition at line 417 of file giaSatLE.c.

◆ nEdgeClas2

int Sle_Man_t_::nEdgeClas2

Definition at line 418 of file giaSatLE.c.

◆ nEdgeVars

int Sle_Man_t_::nEdgeVars

Definition at line 412 of file giaSatLE.c.

◆ nLevels

int Sle_Man_t_::nLevels

Definition at line 406 of file giaSatLE.c.

◆ nNodeVars

int Sle_Man_t_::nNodeVars

Definition at line 410 of file giaSatLE.c.

◆ nSatCalls

int Sle_Man_t_::nSatCalls

Definition at line 408 of file giaSatLE.c.

◆ nVarsTotal

int Sle_Man_t_::nVarsTotal

Definition at line 414 of file giaSatLE.c.

◆ pGia

Gia_Man_t* Sle_Man_t_::pGia

Definition at line 405 of file giaSatLE.c.

◆ pSat

sat_solver* Sle_Man_t_::pSat

Definition at line 421 of file giaSatLE.c.

◆ timeStart

abctime Sle_Man_t_::timeStart

Definition at line 434 of file giaSatLE.c.

◆ vCutFanins

Vec_Wec_t* Sle_Man_t_::vCutFanins

Definition at line 424 of file giaSatLE.c.

◆ vCutFirst

Vec_Int_t* Sle_Man_t_::vCutFirst

Definition at line 428 of file giaSatLE.c.

◆ vCuts

Vec_Int_t* Sle_Man_t_::vCuts

Definition at line 423 of file giaSatLE.c.

◆ vDelayFirst

Vec_Int_t* Sle_Man_t_::vDelayFirst

Definition at line 430 of file giaSatLE.c.

◆ vEdgeCuts

Vec_Wec_t* Sle_Man_t_::vEdgeCuts

Definition at line 426 of file giaSatLE.c.

◆ vEdgeFirst

Vec_Int_t* Sle_Man_t_::vEdgeFirst

Definition at line 429 of file giaSatLE.c.

◆ vFanoutEdges

Vec_Wec_t* Sle_Man_t_::vFanoutEdges

Definition at line 425 of file giaSatLE.c.

◆ vLits

Vec_Int_t* Sle_Man_t_::vLits

Definition at line 432 of file giaSatLE.c.

◆ vMask

Vec_Bit_t* Sle_Man_t_::vMask

Definition at line 422 of file giaSatLE.c.

◆ vObjMap

Vec_Int_t* Sle_Man_t_::vObjMap

Definition at line 427 of file giaSatLE.c.

◆ vPolars

Vec_Int_t* Sle_Man_t_::vPolars

Definition at line 431 of file giaSatLE.c.

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