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

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]
 

Detailed Description

Definition at line 32 of file bmcUnroll.c.

Field Documentation

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.


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