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

#include "UCQJointCompiler.h"

Collaboration diagram for UCQJointCompiler::AnswerCircuit:
Collaboration graph
[legend]

Public Attributes

dDNNF dd
 The shared certified d-D.
std::vector< AnswerRoot > answers
 One root per discovered answer.
std::size_t max_states = 0
 Peak DP state count.

Detailed Description

Definition at line 165 of file UCQJointCompiler.h.

Member Data Documentation

◆ answers

std::vector<AnswerRoot> UCQJointCompiler::AnswerCircuit::answers

One root per discovered answer.

Definition at line 167 of file UCQJointCompiler.h.

◆ dd

dDNNF UCQJointCompiler::AnswerCircuit::dd

The shared certified d-D.

Definition at line 166 of file UCQJointCompiler.h.

◆ max_states

std::size_t UCQJointCompiler::AnswerCircuit::max_states = 0

Peak DP state count.

Definition at line 168 of file UCQJointCompiler.h.

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