10 #include <gperftools/profiler.h>
21 BDD
encode_screen(sokoban_screen
*screen
)
24 num_tiles
= HASH_COUNT(screen
);
25 printf("Number of tiles: %d\n", num_tiles
);
29 BDD
encode_rel(sokoban_screen
*screen
)
32 num_tiles
= HASH_COUNT(screen
);
33 printf("Number of tiles: %d\n", num_tiles
);
42 BDD b
= sylvan_not(a
);
43 if (b
== sylvan_false
){
44 printf("BDD works!\n");
46 printf("BDD does not work!\n");
49 BDD c
= sylvan_ithvar(1);
50 if (sylvan_high(c
) == sylvan_true
&& sylvan_low(c
) == sylvan_false
) printf("VAR works 1\n");
51 if (sylvan_var(c
) == 1) printf("Var works 2\n");