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: rob2.grf (in the directory docs/examples/robinson below the installation base aocr-2.0)

SEARCHED COMPOUNDS: rob1.rel (in the directory docs/examples/robinson below the installation base)

GENERATION LEVELS: 4-5

RULE APPLICATION BOUND: 6

DISTINCT: checked

DOMAIN: 0-4,6,9,7,10,15,17

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

The program should have found a synthesis!

2. Computation

(another solution)

MAIN: start

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

START COMPOUNDS: rob2.grf (in the directory docs/examples/robinson below the installation base)

SEARCHED COMPOUNDS: rob1.rel (in the directory docs/examples/robinson below the installation base)

GENERATION LEVELS: 2-1

RULE APPLICATION BOUND: 6

DOMAIN: 0,1,8,14

3. Computation

MAIN: continue

GENERATION LEVELS: 7-7

RULE APPLICATION BOUND: 6

DISTINCT: checked

DOMAIN: 0-4,6-10,14,15,17

DERIVATION: (for example) rob2.drv (in the directory docs/examples/robinson 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 rob1.drv in the directory docs/examples/robinson for the FILE WITH DERIVATION.

Proceed in the same way for the 7 step derivation rob2.drv.

<< back