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

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

TWO STEPS IN ONE: checked

GENERATION LEVELS: 1-2

RULE APPLICATION BOUND: 4

DISTINCT: checked

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

The program should have found a synthesis!

2. Computation

(faster by restricting the domain):

MAIN: start

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

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

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

TWO STEPS IN ONE: checked

GENERATION LEVELS: 1-2

RULE APPLICATION BOUND: 4

DOMAIN: 0,1,7,8,10,12,18,24-25

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

The program should have found a synthesis! Another solution can be found by running:

3. Computation

MAIN: continue

GENERATION BOUND: 4

RULE APPLICATION BOUND: 4

DISTINCT: checked

DOMAIN: 0,1,7,8,10,12,18,24-25

4. Computation

MAIN: continue

TWO STEPS IN ONE: checked

GENERATION LEVELS: 1-2

RULE APPLICATION BOUND: 4

DOMAIN: 0,1,7,8,10,12,18,24-25

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

Proceed in the same way for the derivation lc2.drv.

<< back