Returns whether or not the time type used to parse the log(s) has a canonical total order or not. @return whether time type is totally ordered or not

@return The number of invariants in this set.

Write a single byte.

Returns the second invariant predicate. @return

Inserts text and hash into the table. Returns id of auto-incremented field if exists. Else, return -1. @param text @param hash @throws SQLException

Advance to the next token.

Returns true if the given sequence of Strings are accepted by this model.

Runs InvariMint with specified property types. @return the InvariMint made up of specified property types. @throws Exception

Returns a collection of all the fields in this message which are set and their corresponding values. A singular ("required" or "optional") field is s

Get the {@code MessageOptions}, defined in {@code descriptor.proto}.

Determines if two resources are comparable. Two resources are comparable only if they are of the same type and have identical keys. @return

Is this field declared repeated?

Returns a string with escaped forward slashes and double quotes.

Verifies that the last call to readTag() returned the given tag value. This is used to verify that a nested group ended with the correct end tag. @th

Generates a TemporalInvariantSet based on a sequence of log events -- a set of invariants that are mined from the log, and hold true for the initial g

Given a list of log events that can be only partially ordered, manipulates the builder to construct the corresponding trace graph. @param allEvents

Get the {@code ServiceDescriptor} describing this service and its methods.

Get the field's declared type.

Read a raw Varint from the stream. If larger than 32 bits, discard the upper bits.

Logs and runs a shell command.

Mark {@code initialNode} as initial with respect to {@code relation} by creating a transition from the dummy initial node to this node. @param initia

Converts a list of FSMState instances into a set, and returns the set.

Like {@code setRepeatedField}, but appends the value as a new element. @throws IllegalArgumentException The field is not a repeated field, or

Anonymous, globally-unique states.

Find a generic descriptor by fully-qualified name.

Call to create a new instance with empty queues. Returns a cached ImmutableMultiChannelState instance, if one was previously created with the given ch

Generates a TemporalInvariantSet based on a sequence of log events -- a set of invariants that are mined from the log, and hold true for the initial g

Generates a TemporalInvariantSet based on a sequence of log events -- a set of invariants that are mined from the log, and hold true for the initial g

Intersects this Automaton with the given Automaton, such that this Automaton is the result of intersection. Visible for testing. @throws IllegalArgum

Whether or not all queues where pid is receiver are empty.

Performs Hopcroft's algorithm to minimize this Automaton.

Create a new CodedInputStream wrapping the given InputStream.

Removes all invariants from the set.

Generate SCM representation of this CFSM, with bad states if this CFSM was augmented with any invariants.

Create an internal exception wrapper around a Java exception. Unless the exception itself is an internal exception. @param e Some Java exc

Flushes the stream and forces any buffered bytes to be written. This does not flush the underlying OutputStream.

Constructs a parser used by tests concerning a double time. Note: the parser may not be re-used for parsing different traces (it is stateful).

Returns the series of times contained within the Transition. If there is no series yet (and there is no single delta set), then an empty one will be c

For embedded message and group fields, gets the field's type.