Error manager. More...
#include <iostream>#include <string>#include <vector>
Include dependency graph for ErrorManager.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | ErrorMgr |
| class | Cats_Exception |
Macros | |
| #define | assertMsg(cond, msg) if (not (cond)) { throw Cats_Exception(msg); } |
| Macro to check error. | |
| #define | assertAsync() assertMsg(isCircuit(), "The LTS does not specify a circuit.") |
| Macro to assert that the LTS represents an asynchronous circuit. | |
Detailed Description
Error manager.
