68ad5a3ae0715810355e31bbf6e84f9ed2d46b8d
10 #include <gperftools/profiler.h>
22 * Each coordinate has three related boolean variables. The combination of those boolean variables
30 * 110: Agent on target
31 * In the BDD representation, the state is represented by n * 3 variables, where n is the number of
32 * tiles in the shrinked screen.
35 BDD
encode_screen(sokoban_screen
*screen
)
38 num_tiles
= HASH_COUNT(screen
);
39 printf("Number of tiles: %d\n", num_tiles
);
43 BDD
encode_rel(sokoban_screen
*screen
)
46 num_tiles
= HASH_COUNT(screen
);
47 printf("Number of tiles: %d\n", num_tiles
);
56 BDD b
= sylvan_not(a
);
57 if (b
== sylvan_false
){
58 printf("BDD works!\n");
60 printf("BDD does not work!\n");
63 BDD c
= sylvan_ithvar(1);
64 if (sylvan_high(c
) == sylvan_true
&& sylvan_low(c
) == sylvan_false
) printf("VAR works 1\n");
65 if (sylvan_var(c
) == 1) printf("Var works 2\n");