Skip to content
Blame Permalink
  • Carlos Galindo's avatar
    830c6df6
    Tabular slicing (v1): non-recursive · 830c6df6
    Carlos Galindo authored 
    - Move summary settings from EDGFactory to Config.
- The EDG now contains a SummaryTable, a map which computes summaries on-the-fly.
- ConstrainedAlgorithm: now looks up summary edges in SummaryTable.
- Fixed typo in SummaryEdgeGenerator#generateOnlyExternal.
    830c6df6
    Tabular slicing (v1): non-recursive
    Carlos Galindo authored 
    - Move summary settings from EDGFactory to Config.
- The EDG now contains a SummaryTable, a map which computes summaries on-the-fly.
- ConstrainedAlgorithm: now looks up summary edges in SummaryTable.
- Fixed typo in SummaryEdgeGenerator#generateOnlyExternal.