Class GRDEdge

java.lang.Object
org.jgrapht.graph.DefaultEdge
fr.inria.rules.integraal.grd.impl.GRDEdge
All Implemented Interfaces:
Serializable, Cloneable
public class GRDEdge extends org.jgrapht.graph.DefaultEdge
An edge of the GRD graph

This is mainly used to add metadata to the edges.

Author:
Florent Tornil
See Also:

  • Constructor Summary

    Constructors
    Constructor
    Description
    GRDEdge()
    Constructor using default values
    GRDEdge(boolean positive)
    Constructor using a given value for the type of dependency

  • Method Summary

    Modifier and Type
    Method
    Description
    Object
    clone()
     
    boolean
    isPositive()
    Check if this edge is positive

    Methods inherited from class org.jgrapht.graph.DefaultEdge

    getSource, getTarget, toString

    Methods inherited from class Object

    equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • GRDEdge

      public GRDEdge()
      Constructor using default values

    • GRDEdge

      public GRDEdge(boolean positive)
      Constructor using a given value for the type of dependency
      Parameters:
      positive - true iff the edge is a positive dependency

  • Method Details

    • isPositive

      public boolean isPositive()
      Check if this edge is positive
      Returns:
      true iff this edge represents a positive dependency

    • clone

      public Object clone()
      Overrides:
      clone in class Object