org.kiama

machine

package machine

Visibility
  1. Public
  2. All

Type Members

  1. class InconsistentUpdateException[T] 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.

  2. abstract class Machine extends PrettyPrinter

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