module documentation
Undocumented
Function | element |
Construct a string from the HTML element description. |
Function | escapify |
Undocumented |
Function | make |
Produce a graphviz.Digraph object from an automaton. |
Function | table |
Construct an HTML table to label a state transition. |
Function | tool |
Entry point for command line utility. |
Function | _gvhtml |
Undocumented |
Function | _gvquote |
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: 0], _argv: 1:], _syspath:
str
= sys.argv[list[ str]
= sys.argv[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.