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