JointCompilerException Class Reference

Exception thrown when joint-width compilation cannot proceed. More...

#include "JointEncoding.h"

Inheritance diagram for JointCompilerException:

Collaboration diagram for JointCompilerException:

Public Member Functions
	JointCompilerException (const std::string &what)
	Construct with a human-readable message.

Detailed Description

Exception thrown when joint-width compilation cannot proceed.

Raised on unsupported input shapes (a gate_input token shared by facts over different element tuples, an unsupported gate type in a circuit slice) so the SQL layer can fall back to the standard ladder. Joint width above the configured bound surfaces as the usual TreeDecompositionException instead.

Definition at line 47 of file JointEncoding.h.

Constructor & Destructor Documentation

JointCompilerException()

JointCompilerException::JointCompilerException ( const std::string & what )

inlineexplicit

Construct with a human-readable message.

Parameters

what

Message.

Definition at line 50 of file JointEncoding.h.

---

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

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