Universe::UniverseContradictionException class
#include <UniverseContradictionException.hpp>

Contents

The UniverseContradictionException is an exception that is thrown when a trivial inconsistency is detected by the solver.

Constructors, destructors, conversion operators

UniverseContradictionException(std::string message) explicit

Public functions

auto what() const -> const char* override noexcept

Function documentation

Universe::UniverseContradictionException::UniverseContradictionException(std::string message) explicit

Parameters
message The message describing the trivial inconsistency.

Creates a new UniverseContradictionException.

const char* Universe::UniverseContradictionException::what() const override noexcept

Returns The message describing the trivial inconsistency.

Gives the message of this exception.