示例#1
0
btree_t *btree_addNode(btree_t *t, LIST_TYPE i)
{
    btree_newNode(t,i);
    return (t);
}
示例#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));
}