Collaboration diagram for ABC_ManagerStruct_t:

[legend]

Public Attributes
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.

Member Data Documentation

◆ mode

int ABC_ManagerStruct_t::mode

Definition at line 46 of file csat_apis.c.

◆ nog

int ABC_ManagerStruct_t::nog

Definition at line 49 of file csat_apis.c.

◆ Params

Prove_Params_t ABC_ManagerStruct_t::Params

Definition at line 47 of file csat_apis.c.

◆ pDumpFileName

char* ABC_ManagerStruct_t::pDumpFileName

Definition at line 43 of file csat_apis.c.

◆ pMmNames

Mem_Flex_t* ABC_ManagerStruct_t::pMmNames

Definition at line 44 of file csat_apis.c.

◆ pNtk

Abc_Ntk_t* ABC_ManagerStruct_t::pNtk

Definition at line 41 of file csat_apis.c.

◆ pResult

CSAT_Target_ResultT* ABC_ManagerStruct_t::pResult

Definition at line 53 of file csat_apis.c.

◆ pTarget

Abc_Ntk_t* ABC_ManagerStruct_t::pTarget

Definition at line 42 of file csat_apis.c.

◆ tName2Node

stmm_table* ABC_ManagerStruct_t::tName2Node

Definition at line 39 of file csat_apis.c.

◆ tNode2Name

stmm_table* ABC_ManagerStruct_t::tNode2Name

Definition at line 40 of file csat_apis.c.

◆ vNodes

Vec_Ptr_t* ABC_ManagerStruct_t::vNodes

Definition at line 50 of file csat_apis.c.

◆ vValues

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:

src/sat/csat/csat_apis.c

Public Attributes