ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Unr_Obj_t_ Struct Reference

Public Attributes

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.

Member Data Documentation

◆ fCompl0

unsigned Unr_Obj_t_::fCompl0

Definition at line 36 of file bmcUnroll.c.

◆ fCompl1

unsigned Unr_Obj_t_::fCompl1

Definition at line 37 of file bmcUnroll.c.

◆ fItIsPi

unsigned Unr_Obj_t_::fItIsPi

Definition at line 40 of file bmcUnroll.c.

◆ fItIsPo

unsigned Unr_Obj_t_::fItIsPo

Definition at line 41 of file bmcUnroll.c.

◆ hFan0

unsigned Unr_Obj_t_::hFan0

Definition at line 34 of file bmcUnroll.c.

◆ hFan1

unsigned Unr_Obj_t_::hFan1

Definition at line 35 of file bmcUnroll.c.

◆ OrigId

unsigned Unr_Obj_t_::OrigId

Definition at line 44 of file bmcUnroll.c.

◆ RankCur

unsigned Unr_Obj_t_::RankCur

Definition at line 43 of file bmcUnroll.c.

◆ RankMax

unsigned Unr_Obj_t_::RankMax

Definition at line 42 of file bmcUnroll.c.

◆ Res

unsigned Unr_Obj_t_::Res[1]

Definition at line 45 of file bmcUnroll.c.

◆ uRDiff0

unsigned Unr_Obj_t_::uRDiff0

Definition at line 38 of file bmcUnroll.c.

◆ uRDiff1

unsigned Unr_Obj_t_::uRDiff1

Definition at line 39 of file bmcUnroll.c.

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