(task)
[
data
]
<domain>
(task_instance : iterator_vector)
[
data_instance : subscript_vector
]
<domain_instance: iterator_vector or subscript_vector>
e.g.
(task1) // A task named “task1”
<data0 : i, j, k> // data element data0
[
i
]
[
j
]
[
k
]
Listing 8