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