C++ (Cpp) init_int_hset Examples

Example #1

File: flattening.c Project: polazarus/ocamlyices2

/*
 * Initialization
 */
void init_flattener(flattener_t *flat, term_manager_t *mngr) {
  flat->terms = term_manager_get_terms(mngr);
  flat->manager = mngr;
  init_int_queue(&flat->queue, 0);
  init_int_hset(&flat->cache, 128);
  init_ivector(&flat->resu, 64);
}

Example #2

/*
 * Get the internal cache.
 * Allocate and initialize it if needed.
 */
static int_hset_t *intern_tbl_get_cache(intern_tbl_t *tbl) {
  int_hset_t *tmp;

  tmp = tbl->cache;
  if (tmp == NULL) {
    tmp = (int_hset_t *) safe_malloc(sizeof(int_hset_t));
    init_int_hset(tmp, 128);
    tbl->cache = tmp;
  }
  return tmp;
}

Example #3

File: egraph_printer.c Project: polazarus/ocamlyices2

void print_egraph_root_classes_details(FILE *f, egraph_t *egraph) {
  uint32_t i, n;
  int_hset_t roots;

  init_int_hset(&roots, 0);
  collect_root_classes(egraph, &roots);

  n = roots.nelems;
  for (i=0; i<n; i++) {
    print_class_details(f, egraph, roots.data[i]);
  }

  delete_int_hset(&roots);
}