Package org.graffiti.plugin.tool

Interface ReceiveHighlightInfo

public interface ReceiveHighlightInfo
Author:
klukas

  • Method Summary

    Modifier and Type Method Description
    void isHighlighted​(GraphElement n)  

  • Method Details

    • isHighlighted

      void isHighlighted​(GraphElement n)
      Parameters:
      n -