Main Page | Class List | File List | Class Members | File Members

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 )(char *, char *, int)

Variables

unsigned int the_last_just_thrown_exception


Define Documentation

#define __CURRENT_FUNCTION_NAME__   "<unknown>"
 

Definition at line 93 of file arithmetic_errors.h.

#define CATCH what   ) 
 

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().

#define EXCEPTION   extern unsigned int
 

Definition at line 97 of file arithmetic_errors.h.

#define linear_arithmetic_error_included
 

Definition at line 74 of file arithmetic_errors.h.

 
#define RETHROW  )     THROW(the_last_just_thrown_exception)
 

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().

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

Definition at line 99 of file arithmetic_errors.h.

#define TRY   else
 

Definition at line 110 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().

#define UNCATCH what   ) 
 

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().


Typedef Documentation

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

Definition at line 78 of file arithmetic_errors.h.

Referenced by linear_initialize_exception_stack(), and set_exception_callbacks().


Variable Documentation

unsigned int the_last_just_thrown_exception
 

Definition at line 112 of file arithmetic_errors.h.

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


Generated on Mon Sep 12 14:48:30 2005 for polylib by doxygen 1.3.5