|
Lines 272-275
Link Here
|
| 272 |
return m->NbRows; |
272 |
return m->NbRows; |
| 273 |
} |
273 |
} |
| 274 |
#endif /* CLOOG_ORG */ |
274 |
#endif /* CLOOG_ORG */ |
|
|
275 |
|
| 276 |
#include <dlfcn.h> |
| 277 |
#define DYNSYMS \ |
| 278 |
DYNSYM (cloog_block_alloc); \ |
| 279 |
DYNSYM (cloog_block_list_free); \ |
| 280 |
DYNSYM (cloog_block_list_malloc); \ |
| 281 |
DYNSYM (cloog_clast_create); \ |
| 282 |
DYNSYM (cloog_clast_free); \ |
| 283 |
DYNSYM (cloog_domain_free); \ |
| 284 |
DYNSYM (cloog_domain_matrix2domain); \ |
| 285 |
DYNSYM (cloog_initialize); \ |
| 286 |
DYNSYM (cloog_loop_malloc); \ |
| 287 |
DYNSYM (cloog_matrix_alloc); \ |
| 288 |
DYNSYM (cloog_matrix_copy); \ |
| 289 |
DYNSYM (cloog_matrix_free); \ |
| 290 |
DYNSYM (cloog_matrix_print); \ |
| 291 |
DYNSYM (cloog_names_malloc); \ |
| 292 |
DYNSYM (cloog_names_scalarize); \ |
| 293 |
DYNSYM (cloog_options_free); \ |
| 294 |
DYNSYM (cloog_options_malloc); \ |
| 295 |
DYNSYM (cloog_program_dump_cloog); \ |
| 296 |
DYNSYM (cloog_program_extract_scalars); \ |
| 297 |
DYNSYM (cloog_program_free); \ |
| 298 |
DYNSYM (cloog_program_generate); \ |
| 299 |
DYNSYM (cloog_program_malloc); \ |
| 300 |
DYNSYM (cloog_program_print); \ |
| 301 |
DYNSYM (cloog_program_scatter); \ |
| 302 |
DYNSYM (cloog_statement_alloc); \ |
| 303 |
DYNSYM (cloog_domain_union); \ |
| 304 |
DYNSYM (cloog_matrix_read); \ |
| 305 |
DYNSYM (cloog_new_pol); \ |
| 306 |
DYNSYM (cloog_vector_gcd); \ |
| 307 |
DYNSYM (ppl_finalize); \ |
| 308 |
DYNSYM (ppl_assign_Coefficient_from_mpz_t); \ |
| 309 |
DYNSYM (ppl_assign_Linear_Expression_from_Linear_Expression); \ |
| 310 |
DYNSYM (ppl_Coefficient_to_mpz_t); \ |
| 311 |
DYNSYM (ppl_Constraint_coefficient); \ |
| 312 |
DYNSYM (ppl_Constraint_inhomogeneous_term); \ |
| 313 |
DYNSYM (ppl_Constraint_space_dimension); \ |
| 314 |
DYNSYM (ppl_Constraint_System_begin); \ |
| 315 |
DYNSYM (ppl_Constraint_System_const_iterator_dereference); \ |
| 316 |
DYNSYM (ppl_Constraint_System_const_iterator_equal_test); \ |
| 317 |
DYNSYM (ppl_Constraint_System_const_iterator_increment); \ |
| 318 |
DYNSYM (ppl_Constraint_System_end); \ |
| 319 |
DYNSYM (ppl_Constraint_System_insert_Constraint); \ |
| 320 |
DYNSYM (ppl_Constraint_System_space_dimension); \ |
| 321 |
DYNSYM (ppl_Constraint_type); \ |
| 322 |
DYNSYM (ppl_delete_Coefficient); \ |
| 323 |
DYNSYM (ppl_delete_Constraint); \ |
| 324 |
DYNSYM (ppl_delete_Constraint_System_const_iterator); \ |
| 325 |
DYNSYM (ppl_delete_Linear_Expression); \ |
| 326 |
DYNSYM (ppl_delete_Pointset_Powerset_C_Polyhedron); \ |
| 327 |
DYNSYM (ppl_delete_Pointset_Powerset_C_Polyhedron_iterator); \ |
| 328 |
DYNSYM (ppl_delete_Polyhedron); \ |
| 329 |
DYNSYM (ppl_Linear_Expression_add_to_coefficient); \ |
| 330 |
DYNSYM (ppl_Linear_Expression_add_to_inhomogeneous); \ |
| 331 |
DYNSYM (ppl_Linear_Expression_coefficient); \ |
| 332 |
DYNSYM (ppl_Linear_Expression_inhomogeneous_term); \ |
| 333 |
DYNSYM (ppl_Linear_Expression_space_dimension); \ |
| 334 |
DYNSYM (ppl_new_Coefficient); \ |
| 335 |
DYNSYM (ppl_new_Coefficient_from_mpz_t); \ |
| 336 |
DYNSYM (ppl_new_Constraint); \ |
| 337 |
DYNSYM (ppl_new_Constraint_System); \ |
| 338 |
DYNSYM (ppl_new_Constraint_System_const_iterator); \ |
| 339 |
DYNSYM (ppl_new_C_Polyhedron_from_C_Polyhedron); \ |
| 340 |
DYNSYM (ppl_new_C_Polyhedron_from_space_dimension); \ |
| 341 |
DYNSYM (ppl_new_C_Polyhedron_recycle_Constraint_System); \ |
| 342 |
DYNSYM (ppl_new_Linear_Expression); \ |
| 343 |
DYNSYM (ppl_new_Linear_Expression_from_Constraint); \ |
| 344 |
DYNSYM (ppl_new_Linear_Expression_from_Linear_Expression); \ |
| 345 |
DYNSYM (ppl_new_Linear_Expression_with_dimension); \ |
| 346 |
DYNSYM (ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron); \ |
| 347 |
DYNSYM (ppl_new_Pointset_Powerset_C_Polyhedron_from_Pointset_Powerset_C_Polyhedron); \ |
| 348 |
DYNSYM (ppl_new_Pointset_Powerset_C_Polyhedron_from_space_dimension); \ |
| 349 |
DYNSYM (ppl_new_Pointset_Powerset_C_Polyhedron_iterator); \ |
| 350 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_add_constraint); \ |
| 351 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_add_space_dimensions_and_embed); \ |
| 352 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_difference_assign); \ |
| 353 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_intersection_assign); \ |
| 354 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_is_empty); \ |
| 355 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_iterator_begin); \ |
| 356 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_iterator_dereference); \ |
| 357 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_iterator_end); \ |
| 358 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_iterator_equal_test); \ |
| 359 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_iterator_increment); \ |
| 360 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_map_space_dimensions); \ |
| 361 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_maximize); \ |
| 362 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_minimize); \ |
| 363 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_remove_space_dimensions); \ |
| 364 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_size); \ |
| 365 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_space_dimension); \ |
| 366 |
DYNSYM (ppl_Pointset_Powerset_C_Polyhedron_upper_bound_assign); \ |
| 367 |
DYNSYM (ppl_Polyhedron_add_constraint); \ |
| 368 |
DYNSYM (ppl_Polyhedron_add_constraints); \ |
| 369 |
DYNSYM (ppl_Polyhedron_add_space_dimensions_and_embed); \ |
| 370 |
DYNSYM (ppl_Polyhedron_get_constraints); \ |
| 371 |
DYNSYM (ppl_Polyhedron_map_space_dimensions); \ |
| 372 |
DYNSYM (ppl_Polyhedron_remove_space_dimensions); \ |
| 373 |
DYNSYM (ppl_Polyhedron_space_dimension); \ |
| 374 |
DYNSYM (ppl_subtract_Linear_Expression_from_Linear_Expression); \ |
| 375 |
DYNSYM (pprint); \ |
| 376 |
DYNSYM (stmt_block); \ |
| 377 |
DYNSYM (stmt_for); \ |
| 378 |
DYNSYM (stmt_guard); \ |
| 379 |
DYNSYM (stmt_root); \ |
| 380 |
DYNSYM (stmt_user); \ |
| 381 |
DYNSYM (ppl_delete_Constraint_System); \ |
| 382 |
DYNSYM (ppl_initialize); \ |
| 383 |
DYNSYM (ppl_new_Constraint_System_from_Constraint); \ |
| 384 |
DYNSYM (ppl_new_C_Polyhedron_from_Constraint_System); \ |
| 385 |
DYNSYM (ppl_Polyhedron_affine_image); \ |
| 386 |
DYNSYM (ppl_io_fprint_Pointset_Powerset_C_Polyhedron); \ |
| 387 |
DYNSYM (ppl_new_PIP_Problem_from_constraints); \ |
| 388 |
DYNSYM (ppl_PIP_Problem_is_satisfiable); \ |
| 389 |
DYNSYM (ppl_delete_PIP_Problem); |
| 390 |
extern struct |
| 391 |
{ |
| 392 |
bool inited; |
| 393 |
void *h; |
| 394 |
#define DYNSYM(x) __typeof (x) *p_##x |
| 395 |
DYNSYMS |
| 396 |
#undef DYNSYM |
| 397 |
} cloog_pointers__; |
| 398 |
|
| 399 |
#define cloog_block_alloc (*cloog_pointers__.p_cloog_block_alloc) |
| 400 |
#define cloog_block_list_free (*cloog_pointers__.p_cloog_block_list_free) |
| 401 |
#define cloog_block_list_malloc (*cloog_pointers__.p_cloog_block_list_malloc) |
| 402 |
#define cloog_clast_create (*cloog_pointers__.p_cloog_clast_create) |
| 403 |
#define cloog_clast_free (*cloog_pointers__.p_cloog_clast_free) |
| 404 |
#define cloog_domain_free (*cloog_pointers__.p_cloog_domain_free) |
| 405 |
#define cloog_domain_matrix2domain (*cloog_pointers__.p_cloog_domain_matrix2domain) |
| 406 |
#define cloog_initialize (*cloog_pointers__.p_cloog_initialize) |
| 407 |
#ifndef CLOOG_ORG |
| 408 |
#undef cloog_loop_malloc |
| 409 |
#define cloog_loop_malloc(STATE) (*cloog_pointers__.p_cloog_loop_malloc) () |
| 410 |
#else |
| 411 |
#define cloog_loop_malloc (*cloog_pointers__.p_cloog_loop_malloc) |
| 412 |
#endif |
| 413 |
#define cloog_matrix_alloc (*cloog_pointers__.p_cloog_matrix_alloc) |
| 414 |
#define cloog_matrix_copy (*cloog_pointers__.p_cloog_matrix_copy) |
| 415 |
#define cloog_matrix_free (*cloog_pointers__.p_cloog_matrix_free) |
| 416 |
#define cloog_matrix_print (*cloog_pointers__.p_cloog_matrix_print) |
| 417 |
#define cloog_names_malloc (*cloog_pointers__.p_cloog_names_malloc) |
| 418 |
#define cloog_names_scalarize (*cloog_pointers__.p_cloog_names_scalarize) |
| 419 |
#define cloog_options_free (*cloog_pointers__.p_cloog_options_free) |
| 420 |
#ifndef CLOOG_ORG |
| 421 |
#undef cloog_options_malloc |
| 422 |
#define cloog_options_malloc(STATE) (*cloog_pointers__.p_cloog_options_malloc) () |
| 423 |
#undef cloog_program_dump_cloog |
| 424 |
#define cloog_program_dump_cloog(DUMPFILE, PROGRAM, SCATTERINGLIST) \ |
| 425 |
(*cloog_pointers__.p_cloog_program_dump_cloog) (DUMPFILE, PROGRAM) |
| 426 |
#undef cloog_program_extract_scalars |
| 427 |
#define cloog_program_extract_scalars(PROG, SCATT, OPT) \ |
| 428 |
(*cloog_pointers__.p_cloog_program_extract_scalars) (PROG, SCATT) |
| 429 |
#else |
| 430 |
#define cloog_options_malloc (*cloog_pointers__.p_cloog_options_malloc) |
| 431 |
#define cloog_program_dump_cloog (*cloog_pointers__.p_cloog_program_dump_cloog) |
| 432 |
#define cloog_program_extract_scalars (*cloog_pointers__.p_cloog_program_extract_scalars) |
| 433 |
#endif |
| 434 |
#define cloog_program_free (*cloog_pointers__.p_cloog_program_free) |
| 435 |
#define cloog_program_generate (*cloog_pointers__.p_cloog_program_generate) |
| 436 |
#define cloog_program_malloc (*cloog_pointers__.p_cloog_program_malloc) |
| 437 |
#define cloog_program_print (*cloog_pointers__.p_cloog_program_print) |
| 438 |
#ifndef CLOOG_ORG |
| 439 |
#undef cloog_program_scatter |
| 440 |
#define cloog_program_scatter(PROG, SCATT, OPT) \ |
| 441 |
(*cloog_pointers__.p_cloog_program_scatter) (PROG, SCATT) |
| 442 |
#undef cloog_statement_alloc |
| 443 |
#define cloog_statement_alloc(STATE, INDEX) \ |
| 444 |
(*cloog_pointers__.p_cloog_statement_alloc) (INDEX) |
| 445 |
#else |
| 446 |
#define cloog_program_scatter (*cloog_pointers__.p_cloog_program_scatter) |
| 447 |
#define cloog_statement_alloc (*cloog_pointers__.p_cloog_statement_alloc) |
| 448 |
#endif |
| 449 |
#define cloog_domain_union (*cloog_pointers__.p_cloog_domain_union) |
| 450 |
#define cloog_matrix_read (*cloog_pointers__.p_cloog_matrix_read) |
| 451 |
#define cloog_new_pol (*cloog_pointers__.p_cloog_new_pol) |
| 452 |
#define cloog_vector_gcd (*cloog_pointers__.p_cloog_vector_gcd) |
| 453 |
#define ppl_finalize (*cloog_pointers__.p_ppl_finalize) |
| 454 |
#define ppl_assign_Coefficient_from_mpz_t (*cloog_pointers__.p_ppl_assign_Coefficient_from_mpz_t) |
| 455 |
#define ppl_assign_Linear_Expression_from_Linear_Expression (*cloog_pointers__.p_ppl_assign_Linear_Expression_from_Linear_Expression) |
| 456 |
#define ppl_Coefficient_to_mpz_t (*cloog_pointers__.p_ppl_Coefficient_to_mpz_t) |
| 457 |
#define ppl_Constraint_coefficient (*cloog_pointers__.p_ppl_Constraint_coefficient) |
| 458 |
#define ppl_Constraint_inhomogeneous_term (*cloog_pointers__.p_ppl_Constraint_inhomogeneous_term) |
| 459 |
#define ppl_Constraint_space_dimension (*cloog_pointers__.p_ppl_Constraint_space_dimension) |
| 460 |
#define ppl_Constraint_System_begin (*cloog_pointers__.p_ppl_Constraint_System_begin) |
| 461 |
#define ppl_Constraint_System_const_iterator_dereference (*cloog_pointers__.p_ppl_Constraint_System_const_iterator_dereference) |
| 462 |
#define ppl_Constraint_System_const_iterator_equal_test (*cloog_pointers__.p_ppl_Constraint_System_const_iterator_equal_test) |
| 463 |
#define ppl_Constraint_System_const_iterator_increment (*cloog_pointers__.p_ppl_Constraint_System_const_iterator_increment) |
| 464 |
#define ppl_Constraint_System_end (*cloog_pointers__.p_ppl_Constraint_System_end) |
| 465 |
#define ppl_Constraint_System_insert_Constraint (*cloog_pointers__.p_ppl_Constraint_System_insert_Constraint) |
| 466 |
#define ppl_Constraint_System_space_dimension (*cloog_pointers__.p_ppl_Constraint_System_space_dimension) |
| 467 |
#define ppl_Constraint_type (*cloog_pointers__.p_ppl_Constraint_type) |
| 468 |
#define ppl_delete_Coefficient (*cloog_pointers__.p_ppl_delete_Coefficient) |
| 469 |
#define ppl_delete_Constraint (*cloog_pointers__.p_ppl_delete_Constraint) |
| 470 |
#define ppl_delete_Constraint_System_const_iterator (*cloog_pointers__.p_ppl_delete_Constraint_System_const_iterator) |
| 471 |
#define ppl_delete_Linear_Expression (*cloog_pointers__.p_ppl_delete_Linear_Expression) |
| 472 |
#define ppl_delete_Pointset_Powerset_C_Polyhedron (*cloog_pointers__.p_ppl_delete_Pointset_Powerset_C_Polyhedron) |
| 473 |
#define ppl_delete_Pointset_Powerset_C_Polyhedron_iterator (*cloog_pointers__.p_ppl_delete_Pointset_Powerset_C_Polyhedron_iterator) |
| 474 |
#define ppl_delete_Polyhedron (*cloog_pointers__.p_ppl_delete_Polyhedron) |
| 475 |
#define ppl_Linear_Expression_add_to_coefficient (*cloog_pointers__.p_ppl_Linear_Expression_add_to_coefficient) |
| 476 |
#define ppl_Linear_Expression_add_to_inhomogeneous (*cloog_pointers__.p_ppl_Linear_Expression_add_to_inhomogeneous) |
| 477 |
#define ppl_Linear_Expression_coefficient (*cloog_pointers__.p_ppl_Linear_Expression_coefficient) |
| 478 |
#define ppl_Linear_Expression_inhomogeneous_term (*cloog_pointers__.p_ppl_Linear_Expression_inhomogeneous_term) |
| 479 |
#define ppl_Linear_Expression_space_dimension (*cloog_pointers__.p_ppl_Linear_Expression_space_dimension) |
| 480 |
#define ppl_new_Coefficient (*cloog_pointers__.p_ppl_new_Coefficient) |
| 481 |
#define ppl_new_Coefficient_from_mpz_t (*cloog_pointers__.p_ppl_new_Coefficient_from_mpz_t) |
| 482 |
#define ppl_new_Constraint (*cloog_pointers__.p_ppl_new_Constraint) |
| 483 |
#define ppl_new_Constraint_System (*cloog_pointers__.p_ppl_new_Constraint_System) |
| 484 |
#define ppl_new_Constraint_System_const_iterator (*cloog_pointers__.p_ppl_new_Constraint_System_const_iterator) |
| 485 |
#define ppl_new_C_Polyhedron_from_C_Polyhedron (*cloog_pointers__.p_ppl_new_C_Polyhedron_from_C_Polyhedron) |
| 486 |
#define ppl_new_C_Polyhedron_from_space_dimension (*cloog_pointers__.p_ppl_new_C_Polyhedron_from_space_dimension) |
| 487 |
#define ppl_new_C_Polyhedron_recycle_Constraint_System (*cloog_pointers__.p_ppl_new_C_Polyhedron_recycle_Constraint_System) |
| 488 |
#define ppl_new_Linear_Expression (*cloog_pointers__.p_ppl_new_Linear_Expression) |
| 489 |
#define ppl_new_Linear_Expression_from_Constraint (*cloog_pointers__.p_ppl_new_Linear_Expression_from_Constraint) |
| 490 |
#define ppl_new_Linear_Expression_from_Linear_Expression (*cloog_pointers__.p_ppl_new_Linear_Expression_from_Linear_Expression) |
| 491 |
#define ppl_new_Linear_Expression_with_dimension (*cloog_pointers__.p_ppl_new_Linear_Expression_with_dimension) |
| 492 |
#define ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron (*cloog_pointers__.p_ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron) |
| 493 |
#define ppl_new_Pointset_Powerset_C_Polyhedron_from_Pointset_Powerset_C_Polyhedron (*cloog_pointers__.p_ppl_new_Pointset_Powerset_C_Polyhedron_from_Pointset_Powerset_C_Polyhedron) |
| 494 |
#define ppl_new_Pointset_Powerset_C_Polyhedron_from_space_dimension (*cloog_pointers__.p_ppl_new_Pointset_Powerset_C_Polyhedron_from_space_dimension) |
| 495 |
#define ppl_new_Pointset_Powerset_C_Polyhedron_iterator (*cloog_pointers__.p_ppl_new_Pointset_Powerset_C_Polyhedron_iterator) |
| 496 |
#define ppl_Pointset_Powerset_C_Polyhedron_add_constraint (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_add_constraint) |
| 497 |
#define ppl_Pointset_Powerset_C_Polyhedron_add_space_dimensions_and_embed (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_add_space_dimensions_and_embed) |
| 498 |
#define ppl_Pointset_Powerset_C_Polyhedron_difference_assign (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_difference_assign) |
| 499 |
#define ppl_Pointset_Powerset_C_Polyhedron_intersection_assign (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_intersection_assign) |
| 500 |
#define ppl_Pointset_Powerset_C_Polyhedron_is_empty (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_is_empty) |
| 501 |
#define ppl_Pointset_Powerset_C_Polyhedron_iterator_begin (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_iterator_begin) |
| 502 |
#define ppl_Pointset_Powerset_C_Polyhedron_iterator_dereference (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_iterator_dereference) |
| 503 |
#define ppl_Pointset_Powerset_C_Polyhedron_iterator_end (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_iterator_end) |
| 504 |
#define ppl_Pointset_Powerset_C_Polyhedron_iterator_equal_test (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_iterator_equal_test) |
| 505 |
#define ppl_Pointset_Powerset_C_Polyhedron_iterator_increment (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_iterator_increment) |
| 506 |
#define ppl_Pointset_Powerset_C_Polyhedron_map_space_dimensions (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_map_space_dimensions) |
| 507 |
#define ppl_Pointset_Powerset_C_Polyhedron_maximize (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_maximize) |
| 508 |
#define ppl_Pointset_Powerset_C_Polyhedron_minimize (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_minimize) |
| 509 |
#define ppl_Pointset_Powerset_C_Polyhedron_remove_space_dimensions (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_remove_space_dimensions) |
| 510 |
#define ppl_Pointset_Powerset_C_Polyhedron_size (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_size) |
| 511 |
#define ppl_Pointset_Powerset_C_Polyhedron_space_dimension (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_space_dimension) |
| 512 |
#define ppl_Pointset_Powerset_C_Polyhedron_upper_bound_assign (*cloog_pointers__.p_ppl_Pointset_Powerset_C_Polyhedron_upper_bound_assign) |
| 513 |
#define ppl_Polyhedron_add_constraint (*cloog_pointers__.p_ppl_Polyhedron_add_constraint) |
| 514 |
#define ppl_Polyhedron_add_constraints (*cloog_pointers__.p_ppl_Polyhedron_add_constraints) |
| 515 |
#define ppl_Polyhedron_add_space_dimensions_and_embed (*cloog_pointers__.p_ppl_Polyhedron_add_space_dimensions_and_embed) |
| 516 |
#define ppl_Polyhedron_get_constraints (*cloog_pointers__.p_ppl_Polyhedron_get_constraints) |
| 517 |
#define ppl_Polyhedron_map_space_dimensions (*cloog_pointers__.p_ppl_Polyhedron_map_space_dimensions) |
| 518 |
#define ppl_Polyhedron_remove_space_dimensions (*cloog_pointers__.p_ppl_Polyhedron_remove_space_dimensions) |
| 519 |
#define ppl_Polyhedron_space_dimension (*cloog_pointers__.p_ppl_Polyhedron_space_dimension) |
| 520 |
#define ppl_subtract_Linear_Expression_from_Linear_Expression (*cloog_pointers__.p_ppl_subtract_Linear_Expression_from_Linear_Expression) |
| 521 |
#define pprint (*cloog_pointers__.p_pprint) |
| 522 |
#define stmt_block (*cloog_pointers__.p_stmt_block) |
| 523 |
#define stmt_for (*cloog_pointers__.p_stmt_for) |
| 524 |
#define stmt_guard (*cloog_pointers__.p_stmt_guard) |
| 525 |
#define stmt_root (*cloog_pointers__.p_stmt_root) |
| 526 |
#define stmt_user (*cloog_pointers__.p_stmt_user) |
| 527 |
#define ppl_delete_Constraint_System (*cloog_pointers__.p_ppl_delete_Constraint_System) |
| 528 |
#define ppl_initialize (*cloog_pointers__.p_ppl_initialize) |
| 529 |
#define ppl_new_Constraint_System_from_Constraint (*cloog_pointers__.p_ppl_new_Constraint_System_from_Constraint) |
| 530 |
#define ppl_new_C_Polyhedron_from_Constraint_System (*cloog_pointers__.p_ppl_new_C_Polyhedron_from_Constraint_System) |
| 531 |
#define ppl_Polyhedron_affine_image (*cloog_pointers__.p_ppl_Polyhedron_affine_image) |
| 532 |
#define ppl_io_fprint_Pointset_Powerset_C_Polyhedron (*cloog_pointers__.p_ppl_io_fprint_Pointset_Powerset_C_Polyhedron) |
| 533 |
#define ppl_new_PIP_Problem_from_constraints (*cloog_pointers__.p_ppl_new_PIP_Problem_from_constraints) |
| 534 |
#define ppl_PIP_Problem_is_satisfiable (*cloog_pointers__.p_ppl_PIP_Problem_is_satisfiable) |
| 535 |
#define ppl_delete_PIP_Problem (*cloog_pointers__.p_ppl_delete_PIP_Problem) |
| 536 |
|
| 537 |
#define cloog_finalize (*cloog_pointers__.p_ppl_finalize) |
| 538 |
|
| 539 |
|
| 275 |
#endif /* GRAPHITE_CLOOG_COMPAT_H */ |
540 |
#endif /* GRAPHITE_CLOOG_COMPAT_H */ |