polylib: arithmetic_errors.h File Reference

# arithmetic_errors.h File Reference

`#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 )(const char *, const char *, int)
## Variables
unsigned int | the_last_just_thrown_exception

## Define Documentation

#define __CURRENT_FUNCTION_NAME__ "<unknown>"

Definition at line 113 of file source/arith/arithmetic_errors.h.

#define CATCH | ( | what |  | ) |

Value:

    if (setjmp(*push_exception_on_stack(what, __CURRENT_FUNCTION_NAME__,    \
                                         __FILE__, __LINE__)))

Definition at line 122 of file source/arith/arithmetic_errors.h.

Referenced by AddConstraints(), AddRays(), align_context(), BuildSat(), Chernikova(), Constraints2Polyhedron(), DomainConvex(), DomainCost(), DomainImage(), DomainPreimage(), Ehrhart_Quick_Apx_Full_Dim(), Enumerate_NoParameters(), FindSimple(), Gauss4(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Preimage(), Rays2Polyhedron(), Rays_Mult(), Rays_Mult_Transpose(), Remove_Redundants(), SimplifyConstraints(), Stras_DomainSimplify(), and SubConstraint().

#define EXCEPTION extern unsigned int

Definition at line 117 of file source/arith/arithmetic_errors.h.

#define linear_arithmetic_error_included

Definition at line 94 of file source/arith/arithmetic_errors.h.

#define RETHROW | ( |  | ) | THROW(the_last_just_thrown_exception)

Definition at line 133 of file source/arith/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().

#define THROW | ( | what |  | ) | (throw_exception(what, __CURRENT_FUNCTION_NAME__, __FILE__, __LINE__))

Definition at line 119 of file source/arith/arithmetic_errors.h.

#define TRY else

Definition at line 130 of file source/arith/arithmetic_errors.h.

Referenced by AddConstraints(), AddRays(), align_context(), BuildSat(), Chernikova(), Constraints2Polyhedron(), DomainConvex(), DomainCost(), DomainImage(), DomainPreimage(), Ehrhart_Quick_Apx_Full_Dim(), Enumerate_NoParameters(), FindSimple(), Gauss4(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Preimage(), Rays2Polyhedron(), Rays_Mult(), Rays_Mult_Transpose(), Remove_Redundants(), SimplifyConstraints(), Stras_DomainSimplify(), and SubConstraint().

#define UNCATCH | ( | what |  | ) |

Value:

    (pop_exception_from_stack(what, __CURRENT_FUNCTION_NAME__,      \
                                   __FILE__, __LINE__))

Definition at line 126 of file source/arith/arithmetic_errors.h.

Referenced by AddConstraints(), AddRays(), align_context(), BuildSat(), Chernikova(), Constraints2Polyhedron(), DomainConvex(), DomainCost(), DomainImage(), DomainPreimage(), Ehrhart_Quick_Apx_Full_Dim(), Enumerate_NoParameters(), FindSimple(), Gauss4(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Preimage(), Rays2Polyhedron(), Rays_Mult(), Rays_Mult_Transpose(), Remove_Redundants(), SimplifyConstraints(), Stras_DomainSimplify(), and SubConstraint().

## Typedef Documentation

typedef void(* exception_callback_t)(const char *, const char *, int)

Definition at line 98 of file source/arith/arithmetic_errors.h.

## Variable Documentation

unsigned int the_last_just_thrown_exception

Definition at line 156 of file errors.c.

Referenced by pop_exception_from_stack(), push_exception_on_stack(), and throw_exception().