Package de.saar.chorus.domgraph.graph

Class DomEdge

java.lang.Object
de.saar.chorus.domgraph.graph.DomEdge
public class DomEdge extends Object
A representation of a dominance edge, as a pair of a source and a target node. This class is meant to be used within a representation of a solved form: A SolvedFormSpec contains a collection of DomEdges; they are computed by a SolvedFormIterator; and they are then inserted into a dominance graph by using the makeSolvedForm method in DomGraph.

For all other purposes, you probably don't want to use this class. Use Edge instead; you can get the edges of a graph through getAllEdges</code.

Author:
Alexander Koller

  • Constructor Details

    • DomEdge

      public DomEdge(String src, String tgt)
      Constructor which takes a source and target node.
      Parameters:
      src - the source node
      tgt - the target node

  • Method Details

    • getSrc

      public String getSrc()
      Get the source node in this pair.
      Returns:
      the source node

    • getTgt

      public String getTgt()
      Get the target node in this pair.
      Returns:
      the target node

    • toString

      public String toString()
      Computes a string representation of this pair.
      Overrides:
      toString in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • equals

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