ReachabilityCompilerException Class Reference

Exception thrown when reachability compilation fails. More...

#include "ReachabilityCompiler.h"

Inheritance diagram for ReachabilityCompilerException:

Collaboration diagram for ReachabilityCompilerException:

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

Detailed Description

Exception thrown when reachability compilation fails.

Raised on unsupported input shapes (a provenance token shared by edges with different endpoints) or when the per-node state space exceeds the configured bound. Data treewidth above TreeDecomposition::MAX_TREEWIDTH surfaces as the usual TreeDecompositionException instead.

Definition at line 62 of file ReachabilityCompiler.h.

Constructor & Destructor Documentation

ReachabilityCompilerException()

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

inlineexplicit

Construct with a human-readable message.

Parameters

what

Message.

Definition at line 65 of file ReachabilityCompiler.h.

---

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

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