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

Public Attributes

Bbr_ImageNode_t * pRoot
 
Bbr_ImageNode_t * pCare
 
DdNode * bCareSupp
 
int fVerbose
 
int nNodesMax
 
int nNodesMaxT
 
int nIter
 
int nBddMax
 

Detailed Description

Definition at line 46 of file bbrImage.c.

Member Data Documentation

◆ bCareSupp

DdNode* Bbr_ImageTree_t_::bCareSupp

Definition at line 50 of file bbrImage.c.

◆ fVerbose

int Bbr_ImageTree_t_::fVerbose

Definition at line 51 of file bbrImage.c.

◆ nBddMax

int Bbr_ImageTree_t_::nBddMax

Definition at line 55 of file bbrImage.c.

◆ nIter

int Bbr_ImageTree_t_::nIter

Definition at line 54 of file bbrImage.c.

◆ nNodesMax

int Bbr_ImageTree_t_::nNodesMax

Definition at line 52 of file bbrImage.c.

◆ nNodesMaxT

int Bbr_ImageTree_t_::nNodesMaxT

Definition at line 53 of file bbrImage.c.

◆ pCare

Bbr_ImageNode_t* Bbr_ImageTree_t_::pCare

Definition at line 49 of file bbrImage.c.

◆ pRoot

Bbr_ImageNode_t* Bbr_ImageTree_t_::pRoot

Definition at line 48 of file bbrImage.c.

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