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

#include <gia.h>

Public Attributes

unsigned iRepr: 28
 
unsigned fProved: 1
 
unsigned fFailed: 1
 
unsigned fColorA: 1
 
unsigned fColorB: 1
 

Detailed Description

Definition at line 58 of file gia.h.

Member Data Documentation

◆ fColorA

unsigned Gia_Rpr_t_::fColorA

Definition at line 63 of file gia.h.

◆ fColorB

unsigned Gia_Rpr_t_::fColorB

Definition at line 64 of file gia.h.

◆ fFailed

unsigned Gia_Rpr_t_::fFailed

Definition at line 62 of file gia.h.

◆ fProved

unsigned Gia_Rpr_t_::fProved

Definition at line 61 of file gia.h.

◆ iRepr

unsigned Gia_Rpr_t_::iRepr

Definition at line 60 of file gia.h.

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