Package de.saar.chorus.domgraph.chart

Class Split<E>

java.lang.Object
de.saar.chorus.domgraph.chart.Split<E>
public class Split<E> extends Object
A split in a dominance chart. A split of a subgraph is induced by the choice of a certain free fragment as the root of a solved form of this subgraph. It also records the weakly connected components into which the subgraph is split by removing the free fragment, and to which hole of the fragment the nodes of each WCC are connected.
Author:
Alexander Koller

  • Constructor Details

    • Split

      public Split(String rootFragment)
      Creates a split with a given root fragment.
      Parameters:
      rootFragment - the root fragment of this split

  • Method Details

    • addWcc

      public void addWcc(String hole, E wcc)
      Adds a weakly connected component to a split representation.
      Parameters:
      hole - the hole of the free fragment to which the wcc is connected
      wcc - a weakly connected component of the subgraph

    • getRootFragment

      public String getRootFragment()
      Returns the root fragment of this split.
      Returns:
      the root fragment

    • getWccs

      public List<E> getWccs(String node)
      Returns the set of weakly connected components which are connected to the specified node.
      Parameters:
      node - a node of the root fragment
      Returns:
      the list of wccs connected to this node, or null if no wccs are connected to it.

    • getAllDominators

      public List<String> getAllDominators()
      Returns the set of holes of the root fragment which are connected to any wcc.
      Returns:
      the set of holes

    • getAllSubgraphs

      public List<E> getAllSubgraphs()
      Returns the set of WCCs into which the subgraph is split by removing the root fragment.
      Returns:
      the set of wccs

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • getSubstitution

      public Map<String,String> getSubstitution()

    • setSubstitution

      public void setSubstitution(Map<String,String> subst)

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • equals

      public boolean equals(Object obj)
      Overrides:
      equals in class Object