abc-master
|
Data Fields | |
unsigned | hFan0 |
unsigned | hFan1 |
unsigned | fCompl0: 1 |
unsigned | fCompl1: 1 |
unsigned | uRDiff0: 15 |
unsigned | uRDiff1: 15 |
unsigned | fItIsPi: 1 |
unsigned | fItIsPo: 1 |
unsigned | RankMax: 15 |
unsigned | RankCur: 15 |
unsigned | OrigId |
unsigned | Res [1] |
Definition at line 32 of file bmcUnroll.c.
unsigned Unr_Obj_t_::fCompl0 |
Definition at line 36 of file bmcUnroll.c.
unsigned Unr_Obj_t_::fCompl1 |
Definition at line 37 of file bmcUnroll.c.
unsigned Unr_Obj_t_::fItIsPi |
Definition at line 40 of file bmcUnroll.c.
unsigned Unr_Obj_t_::fItIsPo |
Definition at line 41 of file bmcUnroll.c.
unsigned Unr_Obj_t_::hFan0 |
Definition at line 34 of file bmcUnroll.c.
unsigned Unr_Obj_t_::hFan1 |
Definition at line 35 of file bmcUnroll.c.
unsigned Unr_Obj_t_::OrigId |
Definition at line 44 of file bmcUnroll.c.
unsigned Unr_Obj_t_::RankCur |
Definition at line 43 of file bmcUnroll.c.
unsigned Unr_Obj_t_::RankMax |
Definition at line 42 of file bmcUnroll.c.
unsigned Unr_Obj_t_::Res[1] |
Definition at line 45 of file bmcUnroll.c.
unsigned Unr_Obj_t_::uRDiff0 |
Definition at line 38 of file bmcUnroll.c.
unsigned Unr_Obj_t_::uRDiff1 |
Definition at line 39 of file bmcUnroll.c.