77{
78 int j, k, l, other_input_offset, output_offset, outnum, ind;
79 int largest_input_ind, numout;
80 char c;
82 bool some_output;
83
85 largest_input_ind =
POWER2(
cube.num_binary_vars);
86 numout =
cube.part_size[
cube.num_vars-1];
87
88 for(outnum = 0; outnum < numout; outnum++) {
89 output_offset = outnum * largest_input_ind;
90 printf("\n\nOutput space # %d\n", outnum);
91 for(l = 0; l <=
MAX(
cube.num_binary_vars - 8, 0); l++) {
92 other_input_offset = l * 256;
93 for(k = 0; k < 16; k++) {
95 for(j = 0; j < 16; j++) {
96 ind = mapindex[k][j] + other_input_offset;
97 if (ind < largest_input_ind) {
98 c =
is_in_set(m, ind+output_offset) ?
'1' :
'.';
99 putchar(c);
101 }
102 if ((j+1)%4 == 0)
103 putchar(' ');
104 if ((j+1)%8 == 0)
105 printf(" ");
106 }
107 if (some_output)
108 putchar('\n');
109 if ((k+1)%4 == 0) {
110 if (k != 15 && mapindex[k+1][0] >= largest_input_ind)
111 break;
112 putchar('\n');
113 }
114 if ((k+1)%8 == 0)
115 putchar('\n');
116 }
117 }
118 }
120}
