Gia_Rpr_t_ Struct Reference

#include <gia.h>

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

Detailed Description

Definition at line 56 of file gia.h.

Field Documentation

unsigned Gia_Rpr_t_::fColorA

Definition at line 61 of file gia.h.

unsigned Gia_Rpr_t_::fColorB

Definition at line 62 of file gia.h.

unsigned Gia_Rpr_t_::fFailed

Definition at line 60 of file gia.h.

unsigned Gia_Rpr_t_::fProved

Definition at line 59 of file gia.h.

unsigned Gia_Rpr_t_::iRepr

Definition at line 58 of file gia.h.

---

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

• gia.h