12
12
add(ColoredTimeInterval.ZERO_INF_DYN_COLOR(Color.STAR_COLOR));
15
public ColoredTransportArc(TimedPlace source, TimedTransition transition, TimedPlace destination, TimeInterval interval) {
16
super(source, transition, destination, interval);
15
public ColoredTransportArc(TimedPlace source, TimedTransition transition, TimedPlace destination, List<ColoredTimeInterval> ctiList) {
16
super(source, transition, destination, ctiList.get(0));
19
20
public ColoredTransportArc(TimedPlace source, TimedTransition transition, TimedPlace destination, TimeInterval interval, Weight weight) {