Static Public Member Functions
static void	dumpPlan (const Plan &plan, std::string str)

static void	dumpPlanAndPoly (const Plan &pln, const SimplePoly &sp, std::string str)

static void	dumpPlanAndPolyPaths (const Plan &pln, const std::vector< PolyPath > &paths, std::string str)

static void	dumpPlanAndPolyPaths (const Plan &pln, const std::vector< PolyPath > &paths, bool write_tcp, std::string str)

static void	dumpAsUnitTest (const Plan &plan)

static void	dumpAsNavPointAsserts (const Plan &plan)

static void	halt ()

Detailed Description

The class includes a collection of utilities that aid debugging. In general, these methods should not be called in "production" code.

Member Function Documentation

static void larcfm::DebugSupport::dumpPlan	(	const Plan &	plan,
		std::string	str
	)

static

Returns the base (no path) file name. a/b/c.txt = c.txt a.txt = a.txt a/b/ = ""

Parameters

filename filename string

The documentation for this class was generated from the following file: