ABC_ManagerStruct_t Struct Reference

Collaboration diagram for ABC_ManagerStruct_t:

[legend]

Data Fields
stmm_table *	tName2Node
stmm_table *	tNode2Name
Abc_Ntk_t *	pNtk
Abc_Ntk_t *	pTarget
char *	pDumpFileName
Extra_MmFlex_t *	pMmNames
int	mode
Prove_Params_t	Params
int	nog
Vec_Ptr_t *	vNodes
Vec_Int_t *	vValues
CSAT_Target_ResultT *	pResult

---

Detailed Description

Definition at line 31 of file csat_apis.c.

---

Field Documentation

int ABC_ManagerStruct_t::mode

Definition at line 41 of file csat_apis.c.

int ABC_ManagerStruct_t::nog

Definition at line 44 of file csat_apis.c.

Prove_Params_t ABC_ManagerStruct_t::Params

Definition at line 42 of file csat_apis.c.

char* ABC_ManagerStruct_t::pDumpFileName

Definition at line 38 of file csat_apis.c.

Extra_MmFlex_t* ABC_ManagerStruct_t::pMmNames

Definition at line 39 of file csat_apis.c.

Abc_Ntk_t* ABC_ManagerStruct_t::pNtk

Definition at line 36 of file csat_apis.c.

CSAT_Target_ResultT* ABC_ManagerStruct_t::pResult

Definition at line 48 of file csat_apis.c.

Abc_Ntk_t* ABC_ManagerStruct_t::pTarget

Definition at line 37 of file csat_apis.c.

stmm_table* ABC_ManagerStruct_t::tName2Node

Definition at line 34 of file csat_apis.c.

stmm_table* ABC_ManagerStruct_t::tNode2Name

Definition at line 35 of file csat_apis.c.

Vec_Ptr_t* ABC_ManagerStruct_t::vNodes

Definition at line 45 of file csat_apis.c.

Vec_Int_t* ABC_ManagerStruct_t::vValues

Definition at line 46 of file csat_apis.c.

---

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

• src/sat/csat/csat_apis.c