Home
last modified time | relevance | path

Searched defs:Aig_Man_t_ (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A Daig.h94 struct Aig_Man_t_ struct
127 int iPrev;
128 int iNext;
129 int nAndTotal;
130 int nAndPrev;
148 void * pManCuts;
151 Vec_Ptr_t * vMapped;
156 Aig_Man_t * pManExdc;
157 Vec_Ptr_t * vOnehots;
166 abctime time1;
[all …]
/dports/math/stp/stp-2.3.3/lib/extlib-abc/
H A Daig.h111 struct Aig_Man_t_ struct
138 unsigned * pOrderData;
139 int nOrderAlloc;
140 int iPrev;
141 int iNext;
142 int nAndTotal;
143 int nAndPrev;
160 Vec_Ptr_t * vMapped;
161 Vec_Int_t * vFlopNums;
163 int time1;
[all …]