diff options
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index a72b2936..a102940f 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -166,6 +166,7 @@ struct Gia_Man_t_ Vec_Int_t * vCiArrs; // CI arrival times Vec_Int_t * vCoReqs; // CO required times Vec_Int_t * vCoArrs; // CO arrival times + Vec_Int_t * vCoAttrs; // CO attributes int And2Delay; // delay of the AND gate float DefInArrs; // default PI arrival times float DefOutReqs; // default PO required times |