ProvSQL C/C++ API
Adding support for provenance and uncertainty management to PostgreSQL databases
Loading...
Searching...
No Matches
UCQJointCompiler::Stats Struct Reference

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

#include "UCQJointCompiler.h"

Public Attributes

unsigned joint_treewidth = 0
 Treewidth of the min-fill decomposition of the joint graph.
unsigned data_treewidth_lb = 0
 Degeneracy lower bound of the data-only graph.
unsigned circuit_treewidth_lb = 0
 Degeneracy lower bound of the slice-only 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 dd_size = 0
 Number of gates of the emitted d-D.
std::size_t nb_variables = 0
 Number of world variables (events).
std::vector< unsigned > n_enumerating
 Per-disjunct static count of enumerating variables.

Detailed Description

Structural statistics of a compilation, for diagnostics and tests.

Definition at line 92 of file UCQJointCompiler.h.

Member Data Documentation

◆ circuit_treewidth_lb

unsigned UCQJointCompiler::Stats::circuit_treewidth_lb = 0

Degeneracy lower bound of the slice-only graph.

Definition at line 95 of file UCQJointCompiler.h.

◆ data_treewidth_lb

unsigned UCQJointCompiler::Stats::data_treewidth_lb = 0

Degeneracy lower bound of the data-only graph.

Definition at line 94 of file UCQJointCompiler.h.

◆ dd_size

std::size_t UCQJointCompiler::Stats::dd_size = 0

Number of gates of the emitted d-D.

Definition at line 98 of file UCQJointCompiler.h.

◆ joint_treewidth

unsigned UCQJointCompiler::Stats::joint_treewidth = 0

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

Definition at line 93 of file UCQJointCompiler.h.

◆ max_states

std::size_t UCQJointCompiler::Stats::max_states = 0

Maximum number of DP states at any node.

Definition at line 97 of file UCQJointCompiler.h.

◆ n_enumerating

std::vector<unsigned> UCQJointCompiler::Stats::n_enumerating

Per-disjunct static count of enumerating variables.

Definition at line 100 of file UCQJointCompiler.h.

◆ nb_bags

std::size_t UCQJointCompiler::Stats::nb_bags = 0

Number of bags of the decomposition.

Definition at line 96 of file UCQJointCompiler.h.

◆ nb_variables

std::size_t UCQJointCompiler::Stats::nb_variables = 0

Number of world variables (events).

Definition at line 99 of file UCQJointCompiler.h.

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