ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Int2_Man_t_ Struct Reference

DECLARATIONS ///. More...

#include <int2Int.h>

Collaboration diagram for Int2_Man_t_:
Collaboration graph
[legend]

Public Attributes

Int2_ManPars_t * pPars
 
Gia_Man_t * pGia
 
Gia_Man_t * pGiaPref
 
Gia_Man_t * pGiaSuff
 
Vec_Int_t * vSuffCis
 
Vec_Int_t * vSuffCos
 
Vec_Int_t * vPrefCos
 
Vec_Int_t * vStack
 
Vec_Int_t * vImageOne
 
Vec_Int_t * vImagesAll
 
Vec_Ptr_t * vMapFrames
 
Vec_Int_t * vMapPref
 
Vec_Int_t * vMapSuff
 
Vec_Int_t * vAssign
 
Vec_Int_t * vPrio
 
sat_solver * pSatPref
 
sat_solver * pSatSuff
 
abctime timeSatPref
 
abctime timeSatSuff
 
abctime timeOther
 
abctime timeTotal
 
sat_solver2 * pSat
 
Vec_Int_t * vGloVars
 
Vec_Int_t * vVar2Glo
 

Detailed Description

DECLARATIONS ///.

CFile****************************************************************

FileName [satSolver2i.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [SAT solver.]

Synopsis [Records the trace of SAT solving in the CNF form.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - September 2, 2013.]

Revision [

Id
satSolver2i.c,v 1.4 2013/09/02 00:00:00 casem Exp

]

Definition at line 46 of file int2Int.h.

Member Data Documentation

◆ pGia

Gia_Man_t * Int2_Man_t_::pGia

Definition at line 51 of file int2Int.h.

◆ pGiaPref

Gia_Man_t* Int2_Man_t_::pGiaPref

Definition at line 52 of file int2Int.h.

◆ pGiaSuff

Gia_Man_t* Int2_Man_t_::pGiaSuff

Definition at line 53 of file int2Int.h.

◆ pPars

Int2_ManPars_t* Int2_Man_t_::pPars

Definition at line 49 of file int2Int.h.

◆ pSat

sat_solver2* Int2_Man_t_::pSat

Definition at line 35 of file satSolver2i.c.

◆ pSatPref

sat_solver* Int2_Man_t_::pSatPref

Definition at line 70 of file int2Int.h.

◆ pSatSuff

sat_solver* Int2_Man_t_::pSatSuff

Definition at line 71 of file int2Int.h.

◆ timeOther

abctime Int2_Man_t_::timeOther

Definition at line 75 of file int2Int.h.

◆ timeSatPref

abctime Int2_Man_t_::timeSatPref

Definition at line 73 of file int2Int.h.

◆ timeSatSuff

abctime Int2_Man_t_::timeSatSuff

Definition at line 74 of file int2Int.h.

◆ timeTotal

abctime Int2_Man_t_::timeTotal

Definition at line 76 of file int2Int.h.

◆ vAssign

Vec_Int_t* Int2_Man_t_::vAssign

Definition at line 67 of file int2Int.h.

◆ vGloVars

Vec_Int_t* Int2_Man_t_::vGloVars

Definition at line 36 of file satSolver2i.c.

◆ vImageOne

Vec_Int_t* Int2_Man_t_::vImageOne

Definition at line 60 of file int2Int.h.

◆ vImagesAll

Vec_Int_t* Int2_Man_t_::vImagesAll

Definition at line 61 of file int2Int.h.

◆ vMapFrames

Vec_Ptr_t* Int2_Man_t_::vMapFrames

Definition at line 63 of file int2Int.h.

◆ vMapPref

Vec_Int_t* Int2_Man_t_::vMapPref

Definition at line 64 of file int2Int.h.

◆ vMapSuff

Vec_Int_t* Int2_Man_t_::vMapSuff

Definition at line 65 of file int2Int.h.

◆ vPrefCos

Vec_Int_t* Int2_Man_t_::vPrefCos

Definition at line 57 of file int2Int.h.

◆ vPrio

Vec_Int_t* Int2_Man_t_::vPrio

Definition at line 68 of file int2Int.h.

◆ vStack

Vec_Int_t* Int2_Man_t_::vStack

Definition at line 58 of file int2Int.h.

◆ vSuffCis

Vec_Int_t* Int2_Man_t_::vSuffCis

Definition at line 55 of file int2Int.h.

◆ vSuffCos

Vec_Int_t* Int2_Man_t_::vSuffCos

Definition at line 56 of file int2Int.h.

◆ vVar2Glo

Vec_Int_t* Int2_Man_t_::vVar2Glo

Definition at line 37 of file satSolver2i.c.

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