Class TerminateException

lib/errortypes.h:50–53

};

class TerminateException : public std::runtime_error {
public:
    TerminateException() : std::runtime_error("terminate") {}
};

enum class Certainty : std::uint8_t {
    normal, inconclusive