ABC_ManagerStruct_t Struct Reference

Data Fields
stmm_table *	tName2Node
stmm_table *	tNode2Name
Abc_Ntk_t *	pNtk
Abc_Ntk_t *	pTarget
char *	pDumpFileName
Mem_Flex_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 36 of file csat_apis.c.

Field Documentation

int ABC_ManagerStruct_t::mode

Definition at line 46 of file csat_apis.c.

int ABC_ManagerStruct_t::nog

Definition at line 49 of file csat_apis.c.

Prove_Params_t ABC_ManagerStruct_t::Params

Definition at line 47 of file csat_apis.c.

char* ABC_ManagerStruct_t::pDumpFileName

Definition at line 43 of file csat_apis.c.

Mem_Flex_t* ABC_ManagerStruct_t::pMmNames

Definition at line 44 of file csat_apis.c.

Abc_Ntk_t* ABC_ManagerStruct_t::pNtk

Definition at line 41 of file csat_apis.c.

CSAT_Target_ResultT* ABC_ManagerStruct_t::pResult

Definition at line 53 of file csat_apis.c.

Abc_Ntk_t* ABC_ManagerStruct_t::pTarget

Definition at line 42 of file csat_apis.c.

stmm_table* ABC_ManagerStruct_t::tName2Node

Definition at line 39 of file csat_apis.c.

stmm_table* ABC_ManagerStruct_t::tNode2Name

Definition at line 40 of file csat_apis.c.

Vec_Ptr_t* ABC_ManagerStruct_t::vNodes

Definition at line 50 of file csat_apis.c.

Vec_Int_t* ABC_ManagerStruct_t::vValues

Definition at line 51 of file csat_apis.c.

---

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

• csat_apis.c