module documentation

Undocumented

Function elementMaker Construct a string from the HTML element description.
Function escapify Undocumented
Function makeDigraph Produce a graphviz.Digraph object from an automaton.
Function tableMaker Construct an HTML table to label a state transition.
Function tool Entry point for command line utility.
Function _gvhtml Undocumented
Function _gvquote Undocumented
def elementMaker(name: str, *children: str, **attrs: str) -> str: (source)

Construct a string from the HTML element description.

def escapify(x: Callable[[State], str]) -> Callable[[State], str]: (source)

Undocumented

def makeDigraph(automaton: Automaton[State, Input, Output], inputAsString: Callable[[Input], str] = repr, outputAsString: Callable[[Output], str] = repr, stateAsString: Callable[[State], str] = repr) -> graphviz.Digraph: (source)

Produce a graphviz.Digraph object from an automaton.

def tableMaker(inputLabel: str, outputLabels: list[str], port: str, _E: Callable[..., str] = elementMaker) -> str: (source)

Construct an HTML table to label a state transition.

def tool(_progname: str = sys.argv[0], _argv: list[str] = sys.argv[1:], _syspath: list[str] = sys.path, _findMachines: Callable[[str], Iterator[tuple[str, MethodicalMachine | TypeMachine[InputProtocol, Core]]]] = findMachines, _print: Callable[..., None] = print): (source)

Entry point for command line utility.

def _gvhtml(s: str) -> str: (source)

Undocumented

def _gvquote(s: str) -> str: (source)

Undocumented