public class SequenceDivision
extends java.lang.Object
| Constructor and Description |
|---|
SequenceDivision() |
| Modifier and Type | Method and Description |
|---|---|
static void |
debug(java.lang.String s) |
static java.util.Set<Pair<java.util.Set<org.deckfour.xes.classification.XEventClass>,java.util.Set<org.deckfour.xes.classification.XEventClass>>> |
getDivisions(org.jgrapht.graph.DefaultDirectedGraph<java.util.Set<org.deckfour.xes.classification.XEventClass>,org.jgrapht.graph.DefaultEdge> condensedGraph,
java.util.Set<java.util.Set<org.deckfour.xes.classification.XEventClass>> startNodes,
java.util.Set<java.util.Set<org.deckfour.xes.classification.XEventClass>> endNodes) |
static java.lang.String |
implode(java.util.Set<org.deckfour.xes.classification.XEventClass> input,
java.lang.String glueString) |
static java.lang.String |
implode2(java.util.Set<java.util.Set<org.deckfour.xes.classification.XEventClass>> input,
java.lang.String glueString) |
public static java.util.Set<Pair<java.util.Set<org.deckfour.xes.classification.XEventClass>,java.util.Set<org.deckfour.xes.classification.XEventClass>>> getDivisions(org.jgrapht.graph.DefaultDirectedGraph<java.util.Set<org.deckfour.xes.classification.XEventClass>,org.jgrapht.graph.DefaultEdge> condensedGraph, java.util.Set<java.util.Set<org.deckfour.xes.classification.XEventClass>> startNodes, java.util.Set<java.util.Set<org.deckfour.xes.classification.XEventClass>> endNodes)
public static void debug(java.lang.String s)
public static java.lang.String implode(java.util.Set<org.deckfour.xes.classification.XEventClass> input,
java.lang.String glueString)
public static java.lang.String implode2(java.util.Set<java.util.Set<org.deckfour.xes.classification.XEventClass>> input,
java.lang.String glueString)