github.com/ModelInference/synoptic @main

Interface that all invariant miners that process partially ordered (PO) input logs should support. Such logs are represe [8 …

Interface for an RPC callback, normally called when an RPC completes. ParameterType is normally the method's res [14 implementers]

Why does this exist? The goal is to be able to have one setter for both mouseover and mouseout on raphael text labels t [5 …

Interface that all invariant miners that process totally ordered (TO) input logs should support. Such logs are represent [8 …

Interface for an enum value or value descriptor, to be used in FieldSet. The lite library stores enum values directly in [7 …

An interface for use by Event to highlight PO and TO invariants. [4 implementers]

This is the interface all graphs have to provide. It requires the notions of relations, initial nodes, and terminal nodes. @param …

Abstract interface implemented by Protocol Message objects. See also MessageLite, which defines most of the methods that typical …

Abstract interface that provides access to a single field. This is implemented differently depending on the field type and …

Skeleton interface for an event in a distributed system. The event is: 1. associated with some process pid 2. associated with a …

A collection of events that can be processed by an FSM that is part of a CFSM. This includes both the local events as well as …

Extends Java's Properties class with the ability to specify and recall a list of property values corresponding to a key. This is …