public class State
extends java.lang.Object
implements java.lang.Cloneable
| Constructor and Description |
|---|
State(ExecutionTrace trace,
java.util.HashMap<java.lang.String,java.util.HashSet<java.lang.String>> activityMapping) |
State(int traceIndex,
int eventIndex) |
State(int traceIndex,
int eventIndex,
java.util.HashMap<java.lang.String,java.lang.String> att2ValueMapping) |
| Modifier and Type | Method and Description |
|---|---|
void |
addEvent(org.deckfour.xes.model.XEvent xEvent,
java.util.HashSet<java.lang.String> attributes) |
State |
clone(int traceIndex,
int eventIndex) |
boolean |
equals(java.lang.Object obj) |
java.lang.String |
getAttributeValue(java.lang.String attribute) |
int |
getEventIndex() |
int |
getTraceIndex() |
java.lang.String |
isFinePaidTotally(ExecutionTrace trace) |
java.lang.String |
toString() |
public State(int traceIndex,
int eventIndex)
public State(int traceIndex,
int eventIndex,
java.util.HashMap<java.lang.String,java.lang.String> att2ValueMapping)
public State(ExecutionTrace trace, java.util.HashMap<java.lang.String,java.util.HashSet<java.lang.String>> activityMapping)
public java.lang.String isFinePaidTotally(ExecutionTrace trace)
public boolean equals(java.lang.Object obj)
equals in class java.lang.Objectpublic java.lang.String getAttributeValue(java.lang.String attribute)
public void addEvent(org.deckfour.xes.model.XEvent xEvent,
java.util.HashSet<java.lang.String> attributes)
public java.lang.String toString()
toString in class java.lang.Objectpublic State clone(int traceIndex, int eventIndex)
public int getTraceIndex()
public int getEventIndex()