public class ReplayaEvent
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
CONSUME_ENDTOKENS |
static int |
CONSUME_TOKENS |
int |
endEventId |
double |
endTime |
static int |
FINAL_MARKING |
static int |
INITIAL_MARKING |
double |
maxFactor |
static int |
PRODUCE_STARTTOKENS |
static int |
PRODUCE_TOKENS |
int |
sortEventId |
int |
startEventId |
double |
startTime |
double |
stepFactor |
JSOPnTransition |
t |
TransitionEvent |
te |
int |
type |
Constructor and Description |
---|
ReplayaEvent(int evtType) |
Modifier and Type | Method and Description |
---|---|
double |
advance(double time) |
boolean |
isComplete(double time) |
boolean |
isStarted(double time) |
void |
setMaxFactor(org.deckfour.xes.model.XTrace trace) |
double |
timeScale() |
java.lang.String |
toString() |
public static int CONSUME_TOKENS
public static int PRODUCE_TOKENS
public static int CONSUME_ENDTOKENS
public static int PRODUCE_STARTTOKENS
public static int INITIAL_MARKING
public static int FINAL_MARKING
public int type
public int startEventId
public int endEventId
public int sortEventId
public TransitionEvent te
public JSOPnTransition t
public double maxFactor
public double stepFactor
public double startTime
public double endTime
public void setMaxFactor(org.deckfour.xes.model.XTrace trace)
public boolean isStarted(double time)
public boolean isComplete(double time)
public double advance(double time)
public double timeScale()
public java.lang.String toString()
toString
in class java.lang.Object