Searched defs:Gia_Rpr_t_ (Results 1 – 1 of 1) sorted by relevance
58 struct Gia_Rpr_t_ struct60 unsigned iRepr : 28; // representative node61 unsigned fProved : 1; // marks the proved equivalence62 unsigned fFailed : 1; // marks the failed equivalence63 unsigned fColorA : 1; // marks cone of A64 unsigned fColorB : 1; // marks cone of B