public class RegionConnection
extends org.processmining.framework.connections.impl.AbstractConnection
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
REGIONS |
static java.lang.String |
TS |
Constructor and Description |
---|
RegionConnection(TransitionSystem ts,
RegionSet rs) |
public static final java.lang.String TS
public static final java.lang.String REGIONS
public RegionConnection(TransitionSystem ts, RegionSet rs)