Main Page   Compound List   File List   Compound 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 source/arith/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 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().

#define EXCEPTION   extern unsigned int
 

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

#define linear_arithmetic_error_included
 

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

 
#define RETHROW      THROW(the_last_just_thrown_exception)
 

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

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

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

#define TRY   else
 

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

#define UNCATCH what   
 

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


Typedef Documentation

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

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


Variable Documentation

unsigned int the_last_just_thrown_exception
 

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


Generated on Mon Mar 15 10:59:51 2004 for polylib by doxygen1.2.18