public class Reachability
extends java.lang.Object
Constructor and Description |
---|
Reachability(Dfg dfg) |
Modifier and Type | Method and Description |
---|---|
boolean |
isReachable(int from,
int to) |
boolean |
isReachable(org.deckfour.xes.classification.XEventClass from,
org.deckfour.xes.classification.XEventClass to) |
public Reachability(Dfg dfg)