org.processmining.framework.log
Class LogStateMachine
java.lang.Object
org.processmining.framework.log.LogStateMachine
public class LogStateMachine
- extends java.lang.Object
Captures the state machine on log events and provides some helper methods.
- Version:
- 1.0
- Author:
- Peter van den Brand
Method Summary |
static LogStateMachine |
getInstance()
|
static boolean |
inPostset(int s,
int e,
boolean tc)
|
static boolean |
inPreset(int s,
int e,
boolean tc)
|
boolean |
isPossibleEvent(java.lang.String evt)
Return true if the given string equals any of the constants
SCHEDULE, ASSIGN, REASSIGN, START, AUTOSKIP,
MANUALSKIP, PI_ABORT, ATE_ABORT, WITHDRAW, COMPLETE,
SUSPEND, RESUME |
boolean |
mayEventuallyOccurAfter(java.lang.String eventBefore,
java.lang.String eventAfter)
|
java.lang.String[] |
possibleEventsAfter(java.lang.String event)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SCHEDULE
public static final java.lang.String SCHEDULE
- See Also:
- Constant Field Values
ASSIGN
public static final java.lang.String ASSIGN
- See Also:
- Constant Field Values
REASSIGN
public static final java.lang.String REASSIGN
- See Also:
- Constant Field Values
START
public static final java.lang.String START
- See Also:
- Constant Field Values
AUTOSKIP
public static final java.lang.String AUTOSKIP
- See Also:
- Constant Field Values
MANUALSKIP
public static final java.lang.String MANUALSKIP
- See Also:
- Constant Field Values
PI_ABORT
public static final java.lang.String PI_ABORT
- See Also:
- Constant Field Values
ATE_ABORT
public static final java.lang.String ATE_ABORT
- See Also:
- Constant Field Values
WITHDRAW
public static final java.lang.String WITHDRAW
- See Also:
- Constant Field Values
COMPLETE
public static final java.lang.String COMPLETE
- See Also:
- Constant Field Values
SUSPEND
public static final java.lang.String SUSPEND
- See Also:
- Constant Field Values
RESUME
public static final java.lang.String RESUME
- See Also:
- Constant Field Values
ORD_SCHEDULE
public static final int ORD_SCHEDULE
- See Also:
- Constant Field Values
ORD_ASSIGN
public static final int ORD_ASSIGN
- See Also:
- Constant Field Values
ORD_REASSIGN
public static final int ORD_REASSIGN
- See Also:
- Constant Field Values
ORD_START
public static final int ORD_START
- See Also:
- Constant Field Values
ORD_AUTOSKIP
public static final int ORD_AUTOSKIP
- See Also:
- Constant Field Values
ORD_MANUALSKIP
public static final int ORD_MANUALSKIP
- See Also:
- Constant Field Values
ORD_PI_ABORT
public static final int ORD_PI_ABORT
- See Also:
- Constant Field Values
ORD_ATE_ABORT
public static final int ORD_ATE_ABORT
- See Also:
- Constant Field Values
ORD_WITHDRAW
public static final int ORD_WITHDRAW
- See Also:
- Constant Field Values
ORD_COMPLETE
public static final int ORD_COMPLETE
- See Also:
- Constant Field Values
ORD_SUSPEND
public static final int ORD_SUSPEND
- See Also:
- Constant Field Values
ORD_RESUME
public static final int ORD_RESUME
- See Also:
- Constant Field Values
EVENT_TYPES
public static final java.lang.String[] EVENT_TYPES
INITIALIZED
public static final java.lang.String INITIALIZED
- See Also:
- Constant Field Values
SCHEDULED
public static final java.lang.String SCHEDULED
- See Also:
- Constant Field Values
ASSIGNED
public static final java.lang.String ASSIGNED
- See Also:
- Constant Field Values
STARTED
public static final java.lang.String STARTED
- See Also:
- Constant Field Values
COMPLETED
public static final java.lang.String COMPLETED
- See Also:
- Constant Field Values
SUSPENDED
public static final java.lang.String SUSPENDED
- See Also:
- Constant Field Values
ABORTED
public static final java.lang.String ABORTED
- See Also:
- Constant Field Values
ORD_INITIALIZED
public static final int ORD_INITIALIZED
- See Also:
- Constant Field Values
ORD_SCHEDULED
public static final int ORD_SCHEDULED
- See Also:
- Constant Field Values
ORD_ASSIGNED
public static final int ORD_ASSIGNED
- See Also:
- Constant Field Values
ORD_STARTED
public static final int ORD_STARTED
- See Also:
- Constant Field Values
ORD_COMPLETED
public static final int ORD_COMPLETED
- See Also:
- Constant Field Values
ORD_SUSPENDED
public static final int ORD_SUSPENDED
- See Also:
- Constant Field Values
ORD_ABORTED
public static final int ORD_ABORTED
- See Also:
- Constant Field Values
STATE_TYPES
public static final java.lang.String[] STATE_TYPES
isPossibleEvent
public boolean isPossibleEvent(java.lang.String evt)
- Return true if the given string equals any of the constants
SCHEDULE, ASSIGN, REASSIGN, START, AUTOSKIP,
MANUALSKIP, PI_ABORT, ATE_ABORT, WITHDRAW, COMPLETE,
SUSPEND, RESUME
- Parameters:
evt
- String possible event name to check
- Returns:
- boolean true if the event name is in the list of constants
inPreset
public static boolean inPreset(int s,
int e,
boolean tc)
inPostset
public static boolean inPostset(int s,
int e,
boolean tc)
getInstance
public static LogStateMachine getInstance()
possibleEventsAfter
public java.lang.String[] possibleEventsAfter(java.lang.String event)
mayEventuallyOccurAfter
public boolean mayEventuallyOccurAfter(java.lang.String eventBefore,
java.lang.String eventAfter)