Searched refs:cell_cache (Results 1 – 3 of 3) sorted by relevance
222 int cell_cache[NB_CELLS]; in compute_targets() local225 memset( cell_cache, 0, NB_CELLS*sizeof(int)); in compute_targets()236 if ( ! cell_cache[target] ) { in compute_targets()237 cell_cache[target] = 1; in compute_targets()287 if ( ! cell_cache[target] ) { in compute_targets()288 cell_cache[target] = 1; in compute_targets()
567 dict<IdString, std::tuple<int,int,int>> cell_cache; in write_aiger() local574 auto r = cell_cache.insert(cell->type); in write_aiger()
786 dict<IdString, Cell*> cell_cache; in prep_xaiger() local811 auto r = cell_cache.insert(cell->type); in prep_xaiger()