20 #ifndef LATEXEXPORTER_H_
21 #define LATEXEXPORTER_H_
23 #include "../graphs/GTS.h"
24 #include "GraphDrawer.h"
72 unordered_map<IDType, IDType>
const* ruleIDSubs =
nullptr,
73 unordered_map<IDType, IDType>
const* graphIDSubs =
nullptr)
const;
85 void writeToLatex(vector<graphs::Hypergraph_sp>
const& graphs,
88 unordered_map<IDType, IDType>
const* nameSubs =
nullptr)
const;
130 vector<graphs::Hypergraph_sp>
const* graphs,
133 unordered_map<IDType, IDType>
const* ruleIDSubs,
134 unordered_map<IDType, IDType>
const* graphIDSubs)
const;
158 unordered_map<IDType, IDType>
const* nameSubs)
const;
175 unordered_map<IDType, IDType>
const* ruleIDSubs,
176 unordered_map<IDType, IDType>
const* graphIDSubs)
const;
void writeLatexHeader(std::ofstream &of) const
Writes the header information of the Latex document (the preamble) to the given filestream.
Definition: LatexExporter.cpp:136
bool compile
Stores whether the generated Latex file will be compiled or not.
Definition: LatexExporter.h:202
PictureFormat
This enumeration specifies all supported picture formats.
Definition: GraphDrawer.h:44
void writeLatexBody(graphs::GTS const >s, std::ofstream &of, string filename, string ext, unordered_map< IDType, IDType > const *ruleIDSubs, unordered_map< IDType, IDType > const *graphIDSubs) const
Writes the body (including {document} and {document} to the given filestream.
Definition: LatexExporter.cpp:224
void writeLatexAndGraphs(vector< graphs::Hypergraph_sp > const &graphs, std::ofstream &of, string filename, GraphDrawer::PictureFormat format, unordered_map< IDType, IDType > const *nameSubs) const
Creates an image file for each graph in the collection and writes a Latex file including these graphs...
Definition: LatexExporter.cpp:147
void writeToLatex(graphs::GTS const >s, string filename, LatexExporter::TargetType target=TargetType::PDF, unordered_map< IDType, IDType > const *ruleIDSubs=nullptr, unordered_map< IDType, IDType > const *graphIDSubs=nullptr) const
Creates (and compiles if not deactivated) a Latex file representing the given GTS.
Definition: LatexExporter.cpp:57
pdf file format.
Definition: LatexExporter.h:47
TargetType
This Enumeration Type specifies for which resulting file formats the Latex file will be generated and...
Definition: LatexExporter.h:43
void writeGraphs(graphs::GTS const >s, string filename, GraphDrawer::PictureFormat format) const
Creates an image file for each graph stored in the given gts object.
Definition: LatexExporter.cpp:388
virtual ~LatexExporter()
Destroys this instance of a LatexExporter.
Definition: LatexExporter.cpp:39
string getNameOrNoName(string name) const
Returns either the string or <noname> if the string was empty.
Definition: LatexExporter.cpp:520
Postscript file format.
Definition: LatexExporter.h:45
void setScale(double scale)
Sets a scaling factor for all images.
Definition: LatexExporter.cpp:41
void setCompilation(bool compile)
Sets whether the Latex file should be compiled after its generation or not.
Definition: LatexExporter.cpp:49
bool willCompile() const
Returns whether the Latex file will be compiled after its generation.
Definition: LatexExporter.cpp:53
Provides a possibility to generate Latex files from GTS objects or graph sets.
Definition: LatexExporter.h:35
The GTS class is the data structure for a graph transformation system.
Definition: GTS.h:36
double scale
Stores a scaling factor used when including the image files.
Definition: LatexExporter.h:197
double getScale() const
Returns the scaling factor currently used.
Definition: LatexExporter.cpp:45
LatexExporter()
Generates a new LatexExporter with default values.
Definition: LatexExporter.cpp:37