Int2_Man_t_ Struct Reference

DECLARATIONS ///. More...

#include <int2Int.h>

Data Fields
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.

Field Documentation

Gia_Man_t * Int2_Man_t_::pGia

Definition at line 51 of file int2Int.h.

Gia_Man_t* Int2_Man_t_::pGiaPref

Definition at line 52 of file int2Int.h.

Gia_Man_t* Int2_Man_t_::pGiaSuff

Definition at line 53 of file int2Int.h.

Int2_ManPars_t* Int2_Man_t_::pPars

Definition at line 49 of file int2Int.h.

sat_solver2* Int2_Man_t_::pSat

Definition at line 35 of file satSolver2i.c.

sat_solver* Int2_Man_t_::pSatPref

Definition at line 70 of file int2Int.h.

sat_solver* Int2_Man_t_::pSatSuff

Definition at line 71 of file int2Int.h.

abctime Int2_Man_t_::timeOther

Definition at line 75 of file int2Int.h.

abctime Int2_Man_t_::timeSatPref

Definition at line 73 of file int2Int.h.

abctime Int2_Man_t_::timeSatSuff

Definition at line 74 of file int2Int.h.

abctime Int2_Man_t_::timeTotal

Definition at line 76 of file int2Int.h.

Vec_Int_t* Int2_Man_t_::vAssign

Definition at line 67 of file int2Int.h.

Vec_Int_t* Int2_Man_t_::vGloVars

Definition at line 36 of file satSolver2i.c.

Vec_Int_t* Int2_Man_t_::vImageOne

Definition at line 60 of file int2Int.h.

Vec_Int_t* Int2_Man_t_::vImagesAll

Definition at line 61 of file int2Int.h.

Vec_Ptr_t* Int2_Man_t_::vMapFrames

Definition at line 63 of file int2Int.h.

Vec_Int_t* Int2_Man_t_::vMapPref

Definition at line 64 of file int2Int.h.

Vec_Int_t* Int2_Man_t_::vMapSuff

Definition at line 65 of file int2Int.h.

Vec_Int_t* Int2_Man_t_::vPrefCos

Definition at line 57 of file int2Int.h.

Vec_Int_t* Int2_Man_t_::vPrio

Definition at line 68 of file int2Int.h.

Vec_Int_t* Int2_Man_t_::vStack

Definition at line 58 of file int2Int.h.

Vec_Int_t* Int2_Man_t_::vSuffCis

Definition at line 55 of file int2Int.h.

Vec_Int_t* Int2_Man_t_::vSuffCos

Definition at line 56 of file int2Int.h.

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:

• int2Int.h
• satSolver2i.c