UnCoVer (Using Coverability for Verification)
|
This class provides static methods for Converting GXL files to the 'dot' format. More...
#include <GraphDrawer.h>
Public Types | |
enum | PictureFormat { PicPS, PicPNG, PicPDF } |
This enumeration specifies all supported picture formats. More... | |
enum | BorderStyle { BorderBlue, BorderGreen, BorderRed, BorderYellow } |
A collection of layouts used to distinguish different vertices and edges visually. More... | |
Public Member Functions | |
virtual | ~GraphDrawer () |
Destroys an instance of GraphDrawer. | |
Static Public Member Functions | |
static void | writeGraphToDotFile (graphs::AnonHypergraph const &graph, string filename, unordered_map< IDType, string > const &labels=(unordered_map< IDType, string >()), unordered_map< IDType, GraphDrawer::BorderStyle > const &borderStyles=(unordered_map< IDType, GraphDrawer::BorderStyle >())) |
Takes the given Hypergraph and converts it to the 'dot' format. More... | |
static void | convertDotTo (string dotFile, string outFile, PictureFormat format, bool genExt=false) |
Takes the given 'dot' file and converts it to a picture file using neato. More... | |
static string | getStandardExtension (PictureFormat format) |
Returns the filename extension normally used for the given picture format. More... | |
Private Member Functions | |
GraphDrawer () | |
GraphDrawer is not instantiable (all methods are static). | |
Static Private Member Functions | |
static string | BorderStyleToString (GraphDrawer::BorderStyle style) |
Generates a string representing the given BorderStyle in the 'dot' format. More... | |
This class provides static methods for Converting GXL files to the 'dot' format.
This format can then be converted to several picture formats using the 'Graphviz' tool.
enum BorderStyle |
enum PictureFormat |
|
staticprivate |
Generates a string representing the given BorderStyle in the 'dot' format.
style | the BorderStyle to be converted |
|
static |
Takes the given 'dot' file and converts it to a picture file using neato.
Which picture file type should be used, must be specified. An optional parameter can be used to automatically append an appropriate file extension.
dotFile | filename of the 'dot' file to be converted (including extension) |
outFile | filename of the output file (including extension) |
format | the picture format that will be generated |
genExt | if this parameter is true, the standard extension for the given format will be appended to the given output filename (default is false) |
|
static |
Returns the filename extension normally used for the given picture format.
format | the picture format for which the extension should be returned |
|
static |
Takes the given Hypergraph and converts it to the 'dot' format.
Each element of the graph can be labeled with some given string and drawn in a special border style. The 'dot' file is stored using the given filename.
graph | the Hypergraph to be converted |
filename | the filename used to store the 'dot' file (including extension) |
labels | a map with up to one label for each drawn element |
borderStyles | a map assigning a BorderStyle to elements of the graph |