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

Public Attributes

unsigned nFiNeg: 3
 
unsigned nFoNeg: 2
 
unsigned nFoPos: 2
 
unsigned Fi0Lev: 3
 
unsigned Fi1Lev: 3
 
unsigned Level: 3
 
unsigned fVisit: 16
 

Detailed Description

Definition at line 33 of file saigIsoFast.c.

Member Data Documentation

◆ Fi0Lev

unsigned Iso_Dat_t_::Fi0Lev

Definition at line 38 of file saigIsoFast.c.

◆ Fi1Lev

unsigned Iso_Dat_t_::Fi1Lev

Definition at line 39 of file saigIsoFast.c.

◆ fVisit

unsigned Iso_Dat_t_::fVisit

Definition at line 41 of file saigIsoFast.c.

◆ Level

unsigned Iso_Dat_t_::Level

Definition at line 40 of file saigIsoFast.c.

◆ nFiNeg

unsigned Iso_Dat_t_::nFiNeg

Definition at line 35 of file saigIsoFast.c.

◆ nFoNeg

unsigned Iso_Dat_t_::nFoNeg

Definition at line 36 of file saigIsoFast.c.

◆ nFoPos

unsigned Iso_Dat_t_::nFoPos

Definition at line 37 of file saigIsoFast.c.


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