WIP: Added Naive summary arcs builder
Created by: jacosro
Added
SummaryArc
- Missing
isXArc
andasXArc
methods inArc
class -
tfm.graphs.sdg.sumarcs
package, which contains:-
SummaryArcBuilder
, an abstract class -
NaiveSummaryArcBuilder
, naive summary arcs builder which extends fromSummaryArcBuilder
-
Details on the naive summary arcs builder
Computes the summary arcs by checking the reachability from formal_out
to formal_in
parameters, and then for each actual_out
finds the corresponding actual_in
s and adds the SummaryArc
to the graph
Partially solves #7 (closed)