public class ReplayStep
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.Set<ReplayStep> |
children |
java.lang.Double |
density |
java.lang.Double |
duration |
java.util.Set<ReplayStep> |
parents |
TimedTransition |
transition |
Constructor and Description |
---|
ReplayStep(TimedTransition transition,
double duration,
double density,
java.util.Set<ReplayStep> predecessorSteps) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
public TimedTransition transition
public java.lang.Double duration
public java.lang.Double density
public java.util.Set<ReplayStep> parents
public java.util.Set<ReplayStep> children
public ReplayStep(TimedTransition transition, double duration, double density, java.util.Set<ReplayStep> predecessorSteps)