class documentation

The combination of a current state and an Automaton.

Method __init__ Undocumented
Method setTrace Undocumented
Method transition Transition between states, returning any outputs.
Instance Variable _automaton Undocumented
Instance Variable _state Undocumented
Instance Variable _tracer Undocumented
def __init__(self, automaton: Automaton[State, Input, Output], initialState: State): (source)

Undocumented

def setTrace(self, tracer: Tracer[State, Input, Output] | None): (source)

Undocumented

def transition(self, inputSymbol: Input) -> tuple[Sequence[Output], OutputTracer[Output] | None]: (source)

Transition between states, returning any outputs.

Undocumented

Undocumented

_tracer: Tracer[State, Input, Output] | None = (source)

Undocumented