• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1sink: { S[] -> a[] }
2must_source: { T[] -> a[]; U[] -> a[] }
3may_source: { V[] -> a[] }
4schedule_map: { T[] -> [0,1]; U[] -> [0,0]; V[] -> [0,1]; S[] -> [1,0] }
5