TreeDecompositionException Class Reference

Exception thrown when a tree decomposition cannot be constructed. More...

#include "TreeDecomposition.h"

Inheritance diagram for TreeDecompositionException:

Collaboration diagram for TreeDecompositionException:

Detailed Description

Exception thrown when a tree decomposition cannot be constructed.

Raised when the treewidth of the circuit exceeds MAX_TREEWIDTH or when the input stream is malformed.

Definition at line 288 of file TreeDecomposition.h.

---

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

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