abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Data Fields
Dss_Obj_t_ Struct Reference

Data Fields

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.

Field Documentation

unsigned Dss_Obj_t_::fMark0

Definition at line 59 of file dauTree.c.

unsigned Dss_Obj_t_::fMark1

Definition at line 60 of file dauTree.c.

unsigned Dss_Obj_t_::Id

Definition at line 54 of file dauTree.c.

unsigned Dss_Obj_t_::iVar

Definition at line 57 of file dauTree.c.

unsigned Dss_Obj_t_::nFans

Definition at line 61 of file dauTree.c.

unsigned Dss_Obj_t_::nSupp

Definition at line 56 of file dauTree.c.

unsigned Dss_Obj_t_::nWords

Definition at line 58 of file dauTree.c.

unsigned Dss_Obj_t_::pFans[0]

Definition at line 62 of file dauTree.c.

unsigned Dss_Obj_t_::Type

Definition at line 55 of file dauTree.c.

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