Searched refs:UbigraphViz (Results 1 – 1 of 1) sorted by relevance
722 class UbigraphViz : public ExplodedNode::Auditor { class731 UbigraphViz(std::unique_ptr<raw_ostream> Out, StringRef Filename);733 ~UbigraphViz() override;748 return llvm::make_unique<UbigraphViz>(std::move(Stream), P); in CreateUbiViz()751 void UbigraphViz::AddEdge(ExplodedNode *Src, ExplodedNode *Dst) { in AddEdge()785 UbigraphViz::UbigraphViz(std::unique_ptr<raw_ostream> OutStream, in UbigraphViz() function in UbigraphViz794 UbigraphViz::~UbigraphViz() { in ~UbigraphViz()