ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Xyz_ManTry_t_ Struct Reference

Public Attributes

Xyz_ParTry_tpPar
 
Aig_Man_tpAig
 

Detailed Description

Definition at line 39 of file dauCore.c.

Member Data Documentation

◆ pAig

Aig_Man_t * Xyz_ManTry_t_::pAig

Definition at line 42 of file dauCore.c.

◆ pPar

Xyz_ParTry_t * Xyz_ManTry_t_::pPar

Definition at line 41 of file dauCore.c.


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