OpenStrat
API
Generated with
OpenStrat/ostrat/ostrat.gTwo/ostrat.gTwo.h2p/CounterState

CounterState

ostrat.gTwo.h2p.CounterState
See theCounterState companion class
object CounterState

Attributes

Companion
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Inherited
  • Not inherited
  • Mirror

Type members

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def apply(counter: Counter, steps: HStep*): CounterState
Generated with