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

Public Attributes

unsigned Id
 
unsigned Type: 3
 
unsigned nSupp: 8
 
unsigned iVar: 8
 
unsigned nWords: 6
 
unsigned fMark0: 1
 
unsigned fMark1: 1
 
unsigned nFans: 5
 
unsigned pFans [0]
 

Detailed Description

Definition at line 52 of file dauTree.c.

Member Data Documentation

◆ fMark0

unsigned Dss_Obj_t_::fMark0

Definition at line 59 of file dauTree.c.

◆ fMark1

unsigned Dss_Obj_t_::fMark1

Definition at line 60 of file dauTree.c.

◆ Id

unsigned Dss_Obj_t_::Id

Definition at line 54 of file dauTree.c.

◆ iVar

unsigned Dss_Obj_t_::iVar

Definition at line 57 of file dauTree.c.

◆ nFans

unsigned Dss_Obj_t_::nFans

Definition at line 61 of file dauTree.c.

◆ nSupp

unsigned Dss_Obj_t_::nSupp

Definition at line 56 of file dauTree.c.

◆ nWords

unsigned Dss_Obj_t_::nWords

Definition at line 58 of file dauTree.c.

◆ pFans

unsigned Dss_Obj_t_::pFans[0]

Definition at line 62 of file dauTree.c.

◆ Type

unsigned Dss_Obj_t_::Type

Definition at line 55 of file dauTree.c.


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