Class GraphSlicer


  • public class GraphSlicer
    extends Object
    Utilities related to simple graph subset operations.
    • Constructor Detail

      • GraphSlicer

        public GraphSlicer()
    • Method Detail

      • slice

        public static <T> Set<T> slice​(Graph<T> g,
                                       Predicate<T> p)
        Performs a backward slice.
        Type Parameters:
        T - type for nodes
        Parameters:
        g - the graph to slice
        f - identifies targets for the backward slice
        Returns:
        the set of nodes in g, from which any of the targets (nodes that f accepts) is reachable.
        Throws:
        WalaException