Perform an "output definition check" to check the expansion before outputting the file
Let's take the example from "9.1.6 Pattern Construction and Analysis".
Click "Output Definition check" in the Output menu.
Or, right-click $File[x] or $Seq[x] (x=1,..,n) and click "Output Definition check".
The output definition screen will be displayed.
If there is a repeat in the output definition check, it is repeated twice.
First, $Seq[1] is processed. $Seq[1] is repeated, so it is repeated twice.
The variable identifier $Var[28] is repeated in the contents of $Seq[1].
In the case of a repeat, it is displayed as %Var[28][x] (x=0,1).
The contents of $Seq[1] contain a subsequence $Seq[3].
The element name #Var[39] is expanded and displayed.
If the variable identifier is not repeated, it is displayed as #Var[y] (y: variable number).
$Seq[3] contains a subsequence $Seq[5], and $Seq[5] is processed.
The state transition keywords K[N][1], K[N][2], K[N][3] are displayed in the contents of $Seq[5].
$Var[57], $Var[58], and $Var[59] are repeated.
The display will be %Var[57][x][1],%Var[57][x][2],%Var[57][x][3] (x=0,1).
$Seq[2], which is at the same level as $Seq[1], will be processed.
$Seq[2] has no lower sequences or variable identifiers.
The contents will be displayed as is.
There is a line break, so the contents will be broken down.
$Seq[4] is the same as $Seq[2], and the contents will be displayed as is.
There is a line break, so the contents will be broken down.