Package | Description |
---|---|
org.processmining.plugins.etm.model.narytree |
Modifier and Type | Method and Description |
---|---|
StateSpace |
StateBuilder.buildStateSpace(boolean doPushDown) |
Modifier and Type | Method and Description |
---|---|
static void |
TreeUtils.writeBehaviorToDot(java.io.OutputStreamWriter out,
StateSpace statespace,
StateBuilder builder) |