Module dot 

Visualization of threshold automata in DOT format

This module provides the trait ToDOT for converting threshold automata into the DOT format, which can be visualized using tools like Graphviz.

The trait ToDOT is implemented for both ThresholdAutomaton and LIAThresholdAutomaton. The ThresholdAutomaton can be converted into a graph in DOT format, while the LIAThresholdAutomaton can be converted into a graph in DOT format with the additional information of the transformed guards.

The trait DOTDiff is meant for debugging purposes and implemented for both ThresholdAutomaton and LIAThresholdAutomaton. It allows to visualize the difference between two automata in DOT format, i.e., it marks added locations and edges in green, removed locations and edges in red, and unchanged locations and edges in black.

Constants

ADDED 🔒

Options for added locations

GRAPH_OPTIONS 🔒

Define the font type for labels and nodes in the graph

INITIAL_LOC_OPTIONS 🔒

Options to mark initial locations

LOC_OPTIONS 🔒

Options for locations

REMOVED 🔒

Options for removed locations

Traits

AutomatonEncoding 🔒

Trait for encoding an automaton (e.g. crate::general_threshold_automaton::GeneralThresholdAutomaton or other types implementing the ThresholdAutomaton trait into a graph in DOT format

DOTDiff

Visualize the difference between two objects in DOT format

ToDOT

Objects implementing this train can be converted visualized as a graph with graphviz