| Package | Description |
|---|---|
| com.raffaeleconforti.automaton | |
| com.raffaeleconforti.automaton.importer |
| Constructor and Description |
|---|
TarjanSCC(Automaton G)
Computes the strong components of the digraph
G. |
| Modifier and Type | Method and Description |
|---|---|
Automaton |
ImportEventLog.convertLogToAutomatonFrom(java.lang.String fileName) |
Automaton |
ImportEventLog.createDAFSAfromLog(org.deckfour.xes.model.XLog xLog) |