module-backend
0.10.1
API
Generated with
module-backend/edomata.backend/CommandState

CommandState

edomata.backend.CommandState$
object CommandState

Attributes

Source:
CommandState.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

case object Redundant

Attributes

Source:
CommandState.scala
Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
Generated with