1 /* { dg-do assemble } */
6 class bad_alloc:exception
9 class logic_error:exception
12 class domain_error:logic_error
15 class invalid_argument:logic_error
18 class length_error:logic_error
21 class overflow_error:exception
25 template < class > class __gmp_expr;
26 template <> class __gmp_expr < mpz_t >
31 class PIP_Solution_Node;
32 class internal_exception
34 ~internal_exception ();
36 class not_an_integer:internal_exception
39 class not_a_variable:internal_exception
42 class not_an_optimization_mode:internal_exception
45 class not_a_bounded_integer_type_width:internal_exception
48 class not_a_bounded_integer_type_representation:internal_exception
51 class not_a_bounded_integer_type_overflow:internal_exception
54 class not_a_complexity_class:internal_exception
57 class not_a_control_parameter_name:internal_exception
60 class not_a_control_parameter_value:internal_exception
63 class not_a_pip_problem_control_parameter_name:internal_exception
66 class not_a_pip_problem_control_parameter_value:internal_exception
69 class not_a_relation:internal_exception
72 class ppl_handle_mismatch:internal_exception
75 class timeout_exception
77 ~timeout_exception ();
79 class deterministic_timeout_exception:timeout_exception
82 void __assert_fail (const char *, const char *, int, int *)
83 __attribute__ ((__noreturn__));
84 void PL_get_pointer (void *);
85 int Prolog_is_address ();
87 Prolog_get_address (void **p1)
89 Prolog_is_address ()? static_cast <
90 void >(0) : __assert_fail ("Prolog_is_address", "./swi_cfli.hh", 0, 0);
95 class non_linear:internal_exception
98 class not_unsigned_integer:internal_exception
101 class not_universe_or_empty:internal_exception
104 class not_a_nil_terminated_list:internal_exception
107 class PPL_integer_out_of_range
109 __gmp_expr < mpz_t > n;
111 void handle_exception ();
112 template < typename T > T * term_to_handle (int, const char *)
114 if (Prolog_is_address ())
117 Prolog_get_address (&p);
118 return static_cast < T * >(0);
124 ppl_new_MIP_Problem_from_MIP_Problem ()
127 term_to_handle < int >(0, "ppl_new_MIP_Problem_from_MIP_Problem/2");
135 ppl_PIP_Tree_Node_parametric_values ()
139 PIP_Solution_Node *a = term_to_handle < PIP_Solution_Node > (0, 0);
143 catch (internal_exception &)
146 catch (not_unsigned_integer &)
154 catch (not_a_variable &)
158 catch (not_an_integer &)
162 catch (ppl_handle_mismatch &)
166 catch (not_an_optimization_mode &)
170 catch (not_a_complexity_class &)
174 catch (not_a_bounded_integer_type_width &)
178 catch (not_a_bounded_integer_type_representation &)
182 catch (not_a_bounded_integer_type_overflow &)
186 catch (not_a_control_parameter_name &)
190 catch (not_a_control_parameter_value &)
194 catch (not_a_pip_problem_control_parameter_name &)
198 catch (not_a_pip_problem_control_parameter_value &)
202 catch (not_universe_or_empty &)
206 catch (not_a_relation &)
210 catch (not_a_nil_terminated_list &)
214 catch (PPL_integer_out_of_range &)
220 } catch (timeout_exception &)
223 } catch (deterministic_timeout_exception &)
226 } catch (overflow_error &)
229 } catch (domain_error &)
232 } catch (length_error &)
235 } catch (invalid_argument &)
238 } catch (logic_error &)
241 } catch (bad_alloc &)
244 } catch (exception &)