#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 source/arith/arithmetic_errors.h. |
|
Value: if (setjmp(*push_exception_on_stack(what, __CURRENT_FUNCTION_NAME__, \ __FILE__, __LINE__))) Definition at line 102 of file source/arith/arithmetic_errors.h. Referenced by AddConstraints(), AddRays(), align_context(), BuildSat(), Chernikova(), Constraints2Polyhedron(), DomainConvex(), DomainCost(), DomainImage(), DomainPreimage(), Enumerate_NoParameters(), FindSimple(), Gauss(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Preimage(), Rays2Polyhedron(), Remove_Redundants(), SimplifyConstraints(), Stras_DomainSimplify(), and SubConstraint(). |
|
Definition at line 97 of file source/arith/arithmetic_errors.h. |
|
Definition at line 74 of file source/arith/arithmetic_errors.h. |
|
Definition at line 113 of file source/arith/arithmetic_errors.h. Referenced by AddConstraints(), AddRays(), align_context(), BuildSat(), Chernikova(), Constraints2Polyhedron(), DomainConvex(), DomainCost(), DomainImage(), DomainPreimage(), FindSimple(), Gauss(), Polyhedron_Image(), Polyhedron_Preimage(), Rays2Polyhedron(), Remove_Redundants(), SimplifyConstraints(), Stras_DomainSimplify(), and SubConstraint(). |
|
Definition at line 99 of file source/arith/arithmetic_errors.h. |
|
Definition at line 110 of file source/arith/arithmetic_errors.h. |
|
Value: (pop_exception_from_stack(what, __CURRENT_FUNCTION_NAME__, \ __FILE__, __LINE__)) Definition at line 106 of file source/arith/arithmetic_errors.h. Referenced by AddConstraints(), AddRays(), align_context(), BuildSat(), Chernikova(), Constraints2Polyhedron(), DomainConvex(), DomainCost(), DomainImage(), DomainPreimage(), Enumerate_NoParameters(), FindSimple(), Gauss(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Preimage(), Rays2Polyhedron(), Remove_Redundants(), SimplifyConstraints(), Stras_DomainSimplify(), and SubConstraint(). |
|
Definition at line 78 of file source/arith/arithmetic_errors.h. |
|
Definition at line 112 of file source/arith/arithmetic_errors.h. |