Set the Computation Tool in the following way, where no indication means to leave the field empty or the box unchecked:

1. Computation

MAIN: start

LIST OF RULES: Refer to the beginnig of this chapter.

START COMPOUNDS: dz2.grf (in the directory docs/examples/darzens below the installation base aocr-2.0)

SEARCHED COMPOUNDS: dz1.grf (in the directory docs/examples/darzens below the installation base)

GENERATION BOUND: 300

The program should have found a synthesis, but a better one is obtained by continuation (notice that the graph has been generated from graph 183):

2. Computation

MAIN: continue

GENERATION BOUND: 184

DISTINCT: checked

3. Computation

MAIN: continue

GENERATION BOUND: 300

The program should have found a synthesis, but a better one is obtained by continuation (notice that the graph has been generated from graph 184):

4. Computation

MAIN: continue

GENERATION BOUND: 185

DISTINCT: checked

5. Computation

MAIN: continue

GENERATION BOUND: 300

The program should have found a synthesis but a better one is obtained by continuation (notice that the graph has been generated from graph 186):

6. Computation

MAIN: continue

GENERATION BOUND: 187

DISTINCT: checked

7. Computation

MAIN: continue

GENERATION BOUND: 300

DERIVATION: (for example) dz1.drv (in the directory docs/examples/darzens below the installation base)

The program should have found a synthesis!

To view the synthesis choose Open step in derivation from File in the Graphic Composer and enter dz1.drv in the directory docs/examples/darzens for the FILE WITH DERIVATION.

<< back