Exemplos de init_tt em C++ (Cpp)

Exemplo n.º 1

Arquivo: test_bit_expr.c Projeto: polazarus/ocamlyices2

/*
 * Initialization:
 * - initialize tt for 100 elements
 * - set the truth tables for true and false
 * - create 5 variables, set the truth tables for
 *   each variable and its negation
 */
static void init(void) {
  uint32_t v;
  bit_t x;

  init_tt();
  init_node_table(&dag, 0);

  record_tt(true_bit, 0xFFFFFFFF);
  record_tt(false_bit, 0x0000000);

  x = node_table_alloc_var(&dag, 0);
  v = 0xFFFF0000;
  record_tt(x, v);
  record_tt(bit_not(x), ~v);
  va = x;

  x = node_table_alloc_var(&dag, 1);
  v = 0xFF00FF00;
  record_tt(x, v);
  record_tt(bit_not(x), ~v);
  vb = x;

  x = node_table_alloc_var(&dag, 2);
  v = 0xF0F0F0F0;
  record_tt(x, v);
  record_tt(bit_not(x), ~v);
  vc = x;

  x = node_table_alloc_var(&dag, 3);
  v = 0xCCCCCCCC;
  record_tt(x, v);
  record_tt(bit_not(x), ~v);
  vd = x;

  x = node_table_alloc_var(&dag, 4);
  v = 0xAAAAAAAA;
  record_tt(x, v);
  record_tt(bit_not(x), ~v);
  ve = x;
}

Exemplo n.º 2

Arquivo: 1144.cpp Projeto: kirankum/morbidel-timus

void initheap()
{
    init_tt();
    memset(heap, 0, sizeof(heap));
    heap[0] = -1, Max = 0;
}