next up previous
Next: 27.8 Learnforget, or Up: 27 Learningforgetting, and Previous: 27.6.5 Repeat previous selection.

27.7 Review target state and aspiring pre-images.

(applies only if the maximum decimal equivalent of the pre-image is smaller than 232-1)

Once the target state and list of aspiring pre-images have been set in # 27.5-6 above, the decimal equivalents of the selected states will be displayed in a new window. In information on range, parity, or Hamming distance selections is also displayed, for example,

target state=229: number of pre-images=10, 1-bit mutants, max state=228, continue-ret:

228,231,225,237,245,197,165,101,485,741, (example for Hamming distance=1, n=10)

target state=229: number of pre-images=10, range 1-10 step 1, continue-ret:

1,2,3,4,5,6,7,8,9,10 (example for a range of pre-images)

target state=229: number of pre-images=19, parity=even, max state=30, continue-ret:

30,29,27,24,23,20,18,17,15,12,10,9,6,5,3,0, (example for even parity, part system size=5)

If there are more states than will fit in the window, the following prompt allows more to be displayed, or to abandon the display and continue,

more-m continue-ret: