/* * 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; }
void initheap() { init_tt(); memset(heap, 0, sizeof(heap)); heap[0] = -1, Max = 0; }