|Maintainer||Simon Meier <email@example.com>|
Conversion of the graph part of a sequent to a Graphviz Dot file.
Convert the sequent to a
Dot action representing this sequent as a
graph in the GraphViz format. The style is loose in the sense that each
premise and conclusion gets its own node.
Dot a sequent in compact form (one record per rule), if there is anything to draw.
Unsound compression of the sequent that drops fully connected learns and knows nodes.