Exceptions caused by timeout expiring. More...
Public Member Functions | |
| Timeout_Exception (String s) | |
| Constructor. | |
Exceptions caused by timeout expiring.
Definition at line 28 of file Timeout_Exception.java.
| parma_polyhedra_library::Timeout_Exception::Timeout_Exception | ( | String | s | ) | [inline] |
Constructor.
Definition at line 30 of file Timeout_Exception.java.
1.6.3