dDNNFTreeDecompositionBuilder::dDNNFGate Struct Reference

Intermediate representation of a partially built d-DNNF gate. More...

Collaboration diagram for dDNNFTreeDecompositionBuilder::dDNNFGate:

Public Member Functions
	dDNNFGate (gate_t i, valuation_t v, suspicious_t s)
	Construct a dDNNFGate.

Public Attributes
gate_t	id
	Gate ID in the target d-DNNF.
valuation_t	valuation
	Current bag's truth-value assignment.
suspicious_t	suspicious
	Gates whose assignments are unconfirmed.

Detailed Description

Intermediate representation of a partially built d-DNNF gate.

Each dDNNFGate carries a d-DNNF gate ID together with the current bag's valuation and the set of suspicious gates, allowing the DP algorithm to combine compatible gates across bags.

Definition at line 94 of file dDNNFTreeDecompositionBuilder.h.

Constructor & Destructor Documentation

dDNNFGate()

dDNNFTreeDecompositionBuilder::dDNNFGate::dDNNFGate ( gate_t i, valuation_t v, suspicious_t s )

inline

Construct a dDNNFGate.

Parameters

i	Gate ID in the target d-DNNF.
v	Current bag's truth-value assignment.
s	Set of suspicious (unconfirmed) gates.

Definition at line 105 of file dDNNFTreeDecompositionBuilder.h.

Member Data Documentation

id

gate_t dDNNFTreeDecompositionBuilder::dDNNFGate::id

Gate ID in the target d-DNNF.

Definition at line 95 of file dDNNFTreeDecompositionBuilder.h.

suspicious

suspicious_t dDNNFTreeDecompositionBuilder::dDNNFGate::suspicious

Gates whose assignments are unconfirmed.

Definition at line 97 of file dDNNFTreeDecompositionBuilder.h.

valuation

valuation_t dDNNFTreeDecompositionBuilder::dDNNFGate::valuation

Current bag's truth-value assignment.

Definition at line 96 of file dDNNFTreeDecompositionBuilder.h.

---

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

• /home/pierre/git/software/provsql/src/dDNNFTreeDecompositionBuilder.h