UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for LatexExporter, including all inherited members.
compile | LatexExporter | private |
getNameOrNoName(string name) const | LatexExporter | inlineprivate |
getScale() const | LatexExporter | |
LatexExporter() | LatexExporter | |
PDF enum value | LatexExporter | |
PS enum value | LatexExporter | |
scale | LatexExporter | private |
setCompilation(bool compile) | LatexExporter | |
setScale(double scale) | LatexExporter | |
TargetType enum name | LatexExporter | |
willCompile() const | LatexExporter | |
writeGraphs(graphs::GTS const >s, string filename, GraphDrawer::PictureFormat format) const | LatexExporter | private |
writeLatexAndGraphs(vector< graphs::Hypergraph_sp > const &graphs, std::ofstream &of, string filename, GraphDrawer::PictureFormat format, unordered_map< IDType, IDType > const *nameSubs) const | LatexExporter | private |
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 | LatexExporter | private |
writeLatexHeader(std::ofstream &of) const | LatexExporter | private |
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 | 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 | LatexExporter | private |
~LatexExporter() | LatexExporter | virtual |