Get a list of top-level message types declared in this file.

Get the timestamp associated with the event.

Whether or not this is the dummy terminal node.

Returns a hash of the list of top k event types of all of the queues in this multi-channel state.

Returns the set of all outgoing transitions of this node (across all relations). The difference to {@code getTransitionsIterator} is that this call fo

Returns the set of event nodes contained in this partition.

Returns the label of the transition (i.e. the relation) @return the name of the relation

Return the label associated with the event.

@return The set of invariants.

Creates a new StringEventType that is an TERMINAL.

Retrieve a specific constrained invariant from a TemporalInvariantSet requested using the form "a AFby b upper" or "c AP d lower". @param minedInvs

@return tc

Sets Invariant to be invisible on the graph.

Computes and returns the temporal invariants that hold for the graph g. @param g input graph over which to mine invariants @return

Obtains the value of the given field, or the default value if it is not set. For primitive fields, the boxed primitive value is returned. For enum fi

Sets the support count. @return

Encode and write a tag.

@return resource constraint

Return the non-null path with the smaller running time delta

Get the parent partition of this node. @return the parent partition

Calls invoke and throws a RuntimeException if it fails.

Read a {@code string} field value from the stream.

Adds a new FSM instance to the CFSM. Once all the FSMs have been added, the CFSM is considered initialized. @param fsm

Compute the number of bytes that would be needed to encode a tag.

Returns the field's default value. Valid for all types except for messages and groups. For all other types, the object returned is of the same class

Returns a cached ObservedFifoSysState instance, if one was previously created with the given FSM states. Otherwise, returns a new instance and caches

Get the delta time of the transition. Cannot be called after a delta series has been successfully set via the getDeltaSeries or addDelta methods. @re

@private

Write a {@code string} field, including tag, to the stream.

Compute the number of bytes that would be needed to encode a {@code string} field, including tag.

Sets Invariant to be visible on the graph.

Translates path by dx and dy @param dx horizontal shift @param dy vertical shift

Get the union over all relations of the initial nodes @return the set of initial nodes in the graph

Get the field's java type. This is just for convenience. Every {@code FieldDescriptorProto.Type} maps to exactly one Java type.

Generic factory methods to make declarations more concise, via type inference.

Removes label from paper

Create a separator-granularity match. This works by creating an incrementing variable (on separator match), and adding SEPCOUNT to the granularity fil

Given a list of log events that can be totally ordered, manipulates the builder to construct the corresponding trace graph. Supports multiple relation

Calls Class.getMethod and throws a RuntimeException if it fails.

Returns a command line option description for an option name for class of this instance.

Return the non-null path with the larger running time delta

Read one byte from the input. @throws InvalidProtocolBufferException The end of the stream or the current limi

Serializes the message to a {@code ByteString} and returns it. This is just a trivial wrapper around {@link #writeTo(CodedOutputStream)}.

Returns the first invariant predicate. @return

Increments the AbstractResource object by the specified amount, and returns the incremented resource as a new object. @param other The Abs

Is this field an extension?