#include <setjmp.h>
Go to the source code of this file.
Defines | |
#define | linear_arithmetic_error_included |
#define | __CURRENT_FUNCTION_NAME__ "<unknown>" |
#define | EXCEPTION extern unsigned int |
#define | THROW(what) (throw_exception(what, __CURRENT_FUNCTION_NAME__, __FILE__, __LINE__)) |
#define | CATCH(what) |
#define | UNCATCH(what) |
#define | TRY else |
#define | RETHROW() THROW(the_last_just_thrown_exception) |
Typedefs | |
typedef void(* | exception_callback_t )(char *, char *, int) |
Variables | |
unsigned int | the_last_just_thrown_exception |
|
Definition at line 93 of file arithmetic_errors.h. |
|
Value: if (setjmp(*push_exception_on_stack(what, __CURRENT_FUNCTION_NAME__, \ __FILE__, __LINE__))) Definition at line 102 of file arithmetic_errors.h. Referenced by AddConstraints(), AddRays(), align_context(), BuildSat(), Chernikova(), Constraints2Polyhedron(), DomainConvex(), DomainCost(), DomainImage(), DomainPreimage(), Enumerate_NoParameters(), FindSimple(), Gauss4(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Preimage(), Rays2Polyhedron(), Rays_Mult(), Rays_Mult_Transpose(), Remove_Redundants(), SimplifyConstraints(), Stras_DomainSimplify(), and SubConstraint(). |
|
Definition at line 97 of file arithmetic_errors.h. |
|
Definition at line 74 of file arithmetic_errors.h. |
|
Definition at line 113 of file arithmetic_errors.h. Referenced by AddConstraints(), AddRays(), align_context(), BuildSat(), Chernikova(), Constraints2Polyhedron(), DomainConvex(), DomainCost(), DomainImage(), DomainPreimage(), FindSimple(), Gauss4(), Polyhedron_Image(), Polyhedron_Preimage(), Rays2Polyhedron(), Rays_Mult(), Rays_Mult_Transpose(), Remove_Redundants(), SimplifyConstraints(), Stras_DomainSimplify(), and SubConstraint(). |
|
Definition at line 99 of file arithmetic_errors.h. |
|
|
Value: (pop_exception_from_stack(what, __CURRENT_FUNCTION_NAME__, \ __FILE__, __LINE__)) Definition at line 106 of file arithmetic_errors.h. Referenced by AddConstraints(), AddRays(), align_context(), BuildSat(), Chernikova(), Constraints2Polyhedron(), DomainConvex(), DomainCost(), DomainImage(), DomainPreimage(), Enumerate_NoParameters(), FindSimple(), Gauss4(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Preimage(), Rays2Polyhedron(), Rays_Mult(), Rays_Mult_Transpose(), Remove_Redundants(), SimplifyConstraints(), Stras_DomainSimplify(), and SubConstraint(). |
|
Definition at line 78 of file arithmetic_errors.h. Referenced by linear_initialize_exception_stack(), and set_exception_callbacks(). |
|
Definition at line 112 of file arithmetic_errors.h. Referenced by pop_exception_from_stack(), push_exception_on_stack(), and throw_exception(). |