ReachabilityCompiler::Stats Struct Reference

Structural statistics of a compilation, for diagnostics and tests. More...

#include "ReachabilityCompiler.h"

Public Attributes
unsigned	data_treewidth = 0
	Treewidth of the min-fill decomposition of the data graph.
std::size_t	nb_bags = 0
	Number of bags of the decomposition.
std::size_t	max_states = 0
	Maximum number of DP states at any node.
std::size_t	nb_gates = 0
	Number of gates of the emitted d-D.
std::size_t	nb_variables = 0
	Number of edge variables (provenance tokens).

Detailed Description

Structural statistics of a compilation, for diagnostics and tests.

Definition at line 94 of file ReachabilityCompiler.h.

Member Data Documentation

data_treewidth

unsigned ReachabilityCompiler::Stats::data_treewidth = 0

Treewidth of the min-fill decomposition of the data graph.

Definition at line 95 of file ReachabilityCompiler.h.

max_states

std::size_t ReachabilityCompiler::Stats::max_states = 0

Maximum number of DP states at any node.

Definition at line 97 of file ReachabilityCompiler.h.

nb_bags

std::size_t ReachabilityCompiler::Stats::nb_bags = 0

Number of bags of the decomposition.

Definition at line 96 of file ReachabilityCompiler.h.

nb_gates

std::size_t ReachabilityCompiler::Stats::nb_gates = 0

Number of gates of the emitted d-D.

Definition at line 98 of file ReachabilityCompiler.h.

nb_variables

std::size_t ReachabilityCompiler::Stats::nb_variables = 0

Number of edge variables (provenance tokens).

Definition at line 99 of file ReachabilityCompiler.h.

---

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

• /home/senellar/git/software/provsql/src/ReachabilityCompiler.h