Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
GurobiLicenseException.h
Go to the documentation of this file.
1#pragma once
2
3#include "storm/exceptions/BaseException.h"
4#include "storm/exceptions/ExceptionMacros.h"
5
6namespace storm::exceptions {
7// An exception that occurs if there is a problem with the gurubi license.
8STORM_NEW_EXCEPTION(GurobiLicenseException)
9
10} // namespace storm::exceptions
STORM_NEW_EXCEPTION
#define STORM_NEW_EXCEPTION(exception_name)
Macro to generate descendant exception classes.
Definition ExceptionMacros.h:8