Searched defs:reorderings (Results 1 – 5 of 5) sorted by relevance
14 pub reorderings: HashMap<usize, ChangePosition>, field
415 unsigned int reorderings; /* number of calls to Cudd_ReduceHeap */ in PBORI_PREFIX() local
410 int reorderings; /* number of calls to Cudd_ReduceHeap */ member
467 unsigned int reorderings; /**< number of calls to Cudd_ReduceHeap */ member