Get the label of the event. @return the label

Get the unmodifiable singleton empty instance.

Creates an EncodedAutomaton for this FSM using the given EventType encodings. @return EncodedAutomaton

Get a list of enum types nested within this one.

Returns a set of all EventTypes in the TraceGraph parsed by this miner.

if getInits == true then gets the initials, otherwise gets the terminal observations for pid in part. Returns null if the desired set of observations

@return first non-INITIAL node in this relation path

Create the time delta string for an edge given the min, max, and (optionally) median ITimes within it, rounding to the specified number of significant

Reads and caches content from inputStream. Can only be invoked after runProcess. @return a list of lines from inputStream. @throws IOException

Returns all the known invariant types. @return

Returns the transition labels associated with this transition.

Returns the correct height for the panel containing the model graphic in the model tab.

Returns the set of all possible following states for this FSMState and an event. @param event @return

Gets the partition to split. @return the partition to split.

@return The hash code for the Partition Node object that this object represents.

This returns events that are involved with Request Response. @param channelIds @return

Get the number of bytes required to encode this set.

Returns the internal states of this FSM.

Given a tag value, determines the wire type (the lower 3 bits).

Get the name of the task.

Returns the default parameter values to be used for simulation.

Initialize model tab state, run whenever a new log is parsed.

* @ignore Recursively inserts the specified particle <i>p</i> into a * descendant of node <i>n</i>. The bounds are defined by [<i>x1</i>, * <i>x

Constructs an appropriate {@link ParseException} for the given {@code NumberFormatException} when trying to parse an integer.