Signals that an operation requires full determinism and that no powerset construction was forced. More...
#include <fabuilder.h>
Inheritance diagram for reg::fabuilder::nondeterminism_exception:
Public Member Functions | |
| nondeterminism_exception (char const *what_arg="Builder has nondeterministic characteristics.") | |
| Constructs an exception object with the given message. More... | |
| nondeterminism_exception (std::string const &what_arg) | |
Detailed Description
Signals that an operation requires full determinism and that no powerset construction was forced.
Definition at line 64 of file fabuilder.h.
Constructor & Destructor Documentation
◆ nondeterminism_exception() [1/2]
|
inline |
Constructs an exception object with the given message.
Definition at line 66 of file fabuilder.h.
◆ nondeterminism_exception() [2/2]
|
inline |
This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
Definition at line 70 of file fabuilder.h.
The documentation for this struct was generated from the following file:
