|
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.