UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
LatexExporter Member List

This is the complete list of members for LatexExporter, including all inherited members.

compileLatexExporterprivate
getNameOrNoName(string name) const LatexExporterinlineprivate
getScale() const LatexExporter
LatexExporter()LatexExporter
PDF enum valueLatexExporter
PS enum valueLatexExporter
scaleLatexExporterprivate
setCompilation(bool compile)LatexExporter
setScale(double scale)LatexExporter
TargetType enum nameLatexExporter
willCompile() const LatexExporter
writeGraphs(graphs::GTS const &gts, string filename, GraphDrawer::PictureFormat format) const LatexExporterprivate
writeLatexAndGraphs(vector< graphs::Hypergraph_sp > const &graphs, std::ofstream &of, string filename, GraphDrawer::PictureFormat format, unordered_map< IDType, IDType > const *nameSubs) const LatexExporterprivate
writeLatexBody(graphs::GTS const &gts, std::ofstream &of, string filename, string ext, unordered_map< IDType, IDType > const *ruleIDSubs, unordered_map< IDType, IDType > const *graphIDSubs) const LatexExporterprivate
writeLatexHeader(std::ofstream &of) const LatexExporterprivate
writeToLatex(graphs::GTS const &gts, string filename, LatexExporter::TargetType target=TargetType::PDF, unordered_map< IDType, IDType > const *ruleIDSubs=nullptr, unordered_map< IDType, IDType > const *graphIDSubs=nullptr) const LatexExporter
writeToLatex(vector< graphs::Hypergraph_sp > const &graphs, string filename, LatexExporter::TargetType target=TargetType::PDF, unordered_map< IDType, IDType > const *nameSubs=nullptr) const LatexExporter
writeToLatex(graphs::GTS const *gts, vector< graphs::Hypergraph_sp > const *graphs, string filename, LatexExporter::TargetType target, unordered_map< IDType, IDType > const *ruleIDSubs, unordered_map< IDType, IDType > const *graphIDSubs) const LatexExporterprivate
~LatexExporter()LatexExportervirtual