Package org.processmining.plugins.InductiveMiner.graphs

Class Reachability

  • public class Reachability
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      Reachability​(Dfg dfg)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean isReachable​(int from, int to)  
      boolean isReachable​(org.deckfour.xes.classification.XEventClass from, org.deckfour.xes.classification.XEventClass to)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • Reachability

        public Reachability​(Dfg dfg)

    • Method Detail

      • isReachable

        public boolean isReachable​(int from,
                           int to)

      • isReachable

        public boolean isReachable​(org.deckfour.xes.classification.XEventClass from,
                           org.deckfour.xes.classification.XEventClass to)