public class MinimalRegionConnection extends RegionConnection
REGIONS, TS| Constructor and Description |
|---|
MinimalRegionConnection(TransitionSystem ts,
RegionSet rs) |
public MinimalRegionConnection(TransitionSystem ts, RegionSet rs)