UCQJointCompiler::Result Struct Reference

A compiled UCQ: the d-D and its statistics. More...

#include "UCQJointCompiler.h"

Collaboration diagram for UCQJointCompiler::Result:

Public Attributes
dDNNF	dd
	d-D whose root computes "the UCQ holds"; input gates carry the event tokens and probabilities.
Stats	stats
	Compilation statistics.

Detailed Description

A compiled UCQ: the d-D and its statistics.

Definition at line 104 of file UCQJointCompiler.h.

Member Data Documentation

dd

dDNNF UCQJointCompiler::Result::dd

d-D whose root computes "the UCQ holds"; input gates carry the event tokens and probabilities.

Definition at line 105 of file UCQJointCompiler.h.

stats

Stats UCQJointCompiler::Result::stats

Compilation statistics.

Definition at line 106 of file UCQJointCompiler.h.

---

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

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