All classes and objects in kiama.machine

kiama 0.9.0 API

This document is the API specification for kiama 0.9.0 API

Class Summary
`abstract class`	Machine (`val` name : java.lang.String) `extends` AnyRef A deterministic abstract state machine defined by its main rule and called name.