Modifier and Type | Method and Description |
---|---|
AnnotatedTransitionSystem |
ModelController.getATS() |
Modifier and Type | Class and Description |
---|---|
class |
AnnotatedTransitionSystemImpl |
Constructor and Description |
---|
AnalyzerTask(MainController controller,
AnnotatedTransitionSystem ats,
double freqThreshold,
TreeSettings settings) |
Modifier and Type | Method and Description |
---|---|
static org.processmining.plugins.graphviz.dot.Dot |
DrawUtils.createGraph(AnnotatedTransitionSystem ats,
double threshold,
boolean showLabels,
java.util.Set<java.lang.Object> selectedElements) |