stormlibpp.output module

Storm message printing code that was copied and modified from the Storm CLI.

Unfortunately, the Storm CLI code does not include the following code as easily exportable methods for reuse in other code. I have copied the relevant code from the Storm CLI and modified it to work in standalone methods.

stormlibpp.output.handle_err(mesg, storm_raise=True)

stormlibpp.output.handle_msg(mesg: dict, hideprops: bool = False, hidetags: bool = False, print_skips: list[str] = [], print_fini: bool = True, logfd: BufferedRandom = None)

stormlibpp.output.log_storm_msg(logfd, mesg)

stormlibpp.output.print_node_prop(name, valu)