DerivEntries

Syntax

DerivEntries: empty; DerivEntries DerivEntry
DerivEntry: Until Num Do Num

Description

Defines a derivation in the collage grammar. The derivation definition is a list of integer pairs where the first one defines the step upto which the table defined by the second number should be used.

Example

Until 5 Do 1
Until 6 Do 2

This is a typical derivation in a grammar that has refining rules in table 1 and terminating rules in table 2. After 5 refinement steps (using only the rules assigned to table 1) follows a termination step (using only rules assigned to table 2). Rules that were marked global are used in all steps.

Additional information is provided about the derivation process in the CollageSystem. For more information about the theoretical backgrounds, please refer to the related documents.