reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1 2 3 4 5 6 7 | domain: "{ A[]; B[i] : 0 <= i < 10 }" child: schedule: "[{ A[] -> [0]; B[i] -> [i] }]" child: sequence: - filter: "{ A[] }" - filter: "{ B[i] }" |