Package net.automatalib.modelchecker.m3c.visualization
-
Class Summary Class Description ColorVisualizationHelper AVisualizationHelper
forWitnessTree
s that emphasizes nodes and edges of the witness and de-emphasizes the remaining ones.EdgeVisualizationHelper AVisualizationHelper
forWitnessTree
s that emphasizes edges of the witness and de-emphasizes the remaining ones.HTMLVisualizationHelper AVisualizationHelper
forWitnessTree
s that renders the node labels as an HTML-based table.NodeVisualizationHelper AVisualizationHelper
forWitnessTree
s that emphasizes nodes of the witness and de-emphasizes the remaining ones.