sdfg::symbolic::CNFException Class Reference

Exception thrown when CNF conversion fails. More...

#include <sdfg/symbolic/conjunctive_normal_form.h>

Inheritance diagram for sdfg::symbolic::CNFException:

Public Member Functions
	CNFException (const std::string &message)
const char *	what () const noexcept override

Detailed Description

Exception thrown when CNF conversion fails.

This exception is thrown when a condition cannot be converted to CNF, typically due to unsupported operations or malformed expressions.

Constructor & Destructor Documentation

CNFException()

sdfg::symbolic::CNFException::CNFException ( const std::string & message )

inline

Member Function Documentation

what()

const char * sdfg::symbolic::CNFException::what ( ) const

inlineoverridenoexcept

---

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

• sdfg/include/sdfg/symbolic/conjunctive_normal_form.h