tree_decomposition_dot.cpp File Reference

SQL function provsql.tree_decomposition_dot() – return a GraphViz DOT visualisation of the tree decomposition of the provenance circuit's primal graph. More...

#include "postgres.h"
#include "fmgr.h"
#include "catalog/pg_type.h"
#include "utils/uuid.h"
#include "provsql_shmem.h"
#include "provsql_utils.h"
#include "c_cpp_compatibility.h"
#include "BooleanCircuit.h"
#include "CircuitFromMMap.h"
#include "TreeDecomposition.h"
#include "provsql_utils_cpp.h"
#include <string>

Include dependency graph for tree_decomposition_dot.cpp:

Go to the source code of this file.

Functions
Datum	tree_decomposition_dot (PG_FUNCTION_ARGS)
	PostgreSQL-callable entry point.

Detailed Description

SQL function provsql.tree_decomposition_dot() – return a GraphViz DOT visualisation of the tree decomposition of the provenance circuit's primal graph.

The same min-fill decomposition that backs probability_evaluate(..., 'tree-decomposition') is exposed here as a DOT digraph, with the computed treewidth attached as a "// treewidth=..." comment on the first line.

Definition in file tree_decomposition_dot.cpp.

Function Documentation

tree_decomposition_dot()

Datum tree_decomposition_dot

(

PG_FUNCTION_ARGS

)

PostgreSQL-callable entry point.

Arguments: token (uuid). Returns: DOT text whose first line is "// treewidth=<n>".

Definition at line 42 of file tree_decomposition_dot.cpp.

Here is the call graph for this function: