machine

Type Members

1. class InconsistentUpdateException extends Exception

   

   A machine has performed an inconsistent update in the sense that a step has updated an item of state to two different values.

   A machine has performed an inconsistent update in the sense that a step has updated an item of state to two different values. m is the machine that performed the update, updates is all of the updates for the key that was updated inconsistently.

2. abstract class Machine extends PrettyPrinter

   

   A deterministic abstract state machine defined by its main rule and called name.

   A deterministic abstract state machine defined by its main rule and called name. Tracing messages are output to the given emitter, which defaults to standard error. You should avoid accessing a single machine frmom multiple threads since the machine encapsulates state and updates. Machines are designed to be used in a single-threaded fashion.