ProvSQL C/C++ API
Adding support for provenance and uncertainty management to PostgreSQL databases
Loading...
Searching...
No Matches
TreeDecomposition Member List

This is the complete list of members for TreeDecomposition, including all inherited members.

addEmptyBag(bag_t parent, const std::vector< bag_t > &children=std::vector< bag_t >())TreeDecompositionprivate
addGateToBag(gate_t g, bag_t b)TreeDecompositionprivate
Bag typedefTreeDecomposition
bagsTreeDecompositionprivate
childrenTreeDecompositionprivate
dDNNFTreeDecompositionBuilderTreeDecompositionfriend
findGateConnection(gate_t v) constTreeDecompositionprivate
getBag(bag_t b)TreeDecompositioninlineprivate
getBag(bag_t b) constTreeDecompositioninlineprivate
getChildren(bag_t b)TreeDecompositioninlineprivate
getChildren(bag_t b) constTreeDecompositioninlineprivate
getParent(bag_t b) constTreeDecompositioninlineprivate
getTreewidth() constTreeDecompositioninline
makeFriendly(gate_t root)TreeDecomposition
MAX_TREEWIDTHTreeDecompositionstatic
operator=(const TreeDecomposition &td)TreeDecomposition
operator>>TreeDecompositionfriend
OPTIMAL_ARITYTreeDecompositionstatic
parentTreeDecompositionprivate
reroot(bag_t bag)TreeDecompositionprivate
rootTreeDecompositionprivate
setParent(bag_t b, bag_t p)TreeDecompositioninlineprivate
small_vector typedefTreeDecomposition
toDot() constTreeDecomposition
TreeDecomposition()=defaultTreeDecompositionprivate
TreeDecomposition(const BooleanCircuit &bc)TreeDecomposition
TreeDecomposition(std::istream &in)TreeDecomposition
TreeDecomposition(const TreeDecomposition &td)TreeDecomposition
treewidthTreeDecompositionprivate