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
dDNNFTreeDecompositionBuilder classTreeDecompositionfriend
degeneracyLowerBound(const BooleanCircuit &bc, unsigned &max_degree)TreeDecompositionstatic
degeneracyLowerBound(const Graph &graph, unsigned &max_degree)TreeDecompositionstatic
findGateConnection(gate_t v) constTreeDecompositionprivate
getBag(bag_t b)TreeDecompositioninlineprivate
getBag(bag_t b) constTreeDecompositioninline
getChildren(bag_t b)TreeDecompositioninlineprivate
getChildren(bag_t b) constTreeDecompositioninline
getNbBags() constTreeDecompositioninline
getParent(bag_t b) constTreeDecompositioninline
getRoot() constTreeDecompositioninline
getTreewidth() constTreeDecompositioninline
makeFriendly(gate_t root)TreeDecomposition
MAX_TREEWIDTHTreeDecompositionstatic
operator=(const TreeDecomposition &td)TreeDecomposition
operator>>(std::istream &in, TreeDecomposition &td)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(Graph graph, std::unordered_map< unsigned long, bag_t > *elimination_bag=nullptr)TreeDecomposition
TreeDecomposition(std::istream &in)TreeDecomposition
TreeDecomposition(const TreeDecomposition &td)TreeDecomposition
treewidthTreeDecompositionprivate