next up previous
Next: 23.5.2 Computing exhaustive pairs. Up: 23.5 The exhaustive testing Previous: 23.5 The exhaustive testing

23.5.1 Load exhaustive pairs.

Enter ``l'' to load a previously saved list of exhaustive pairs (an ``*.exh'' file). The filing prompts are described in #28. The network size n, and n for the file to be loaded, must be equal, otherwise the file is not accepted and the following prompt is displayed.

wrong file, continue-return:

In addition, the rule or wiring setup must be identical between the network and the exhaustive pairs file (no automatic check is made), because attractor cycles are established by running forward in the normal way.