10.6.3   Output of a Selected Matrix

Note that it is possible to create an output .ufm matrix (see 10.16.7) which records the current state of cell selection. Thus (by default) an output value of 1 indicates that that cell is selected, 0 that it is not. This may be useful as a means of creating “fixed” or “frozen” matrices for input to SATALL or SATME2.

Note that the 0/1 definitions may optionally be reversed if desired such that non-selection equals 1 and selection equals 0.