Exemplo n.º 1
0
btree_t *btree_addNode(btree_t *t, LIST_TYPE i)
{
    btree_newNode(t,i);
    return (t);
}
Exemplo n.º 2
0
static BoolNode* rec_btable_toBoolTree(TruthTable* table, int i, char* vars) {
  if(vars[0]==0) return btree_newLeaf(table->tab[i]);
  return btree_newNode(rec_btable_toBoolTree(table, i<<1, vars+1), *vars,
                       rec_btable_toBoolTree(table, i<<1 | 0x1, vars+1));
}