doc: add some implementation details on parametric integer programming
tree749e13e8301cea8af6c21721d5e9cfdf0183acd7
-rw-r--r-- 630 .gitignore
-rw-r--r-- 71 .gitmodules
-rw-r--r-- 443 AUTHORS
-rw-r--r-- 1171 ChangeLog
-rw-r--r-- 24390 LICENSE
-rw-r--r-- 5207 Makefile.am
-rwxr-xr-x 83 autogen.sh
-rw-r--r-- 6652 basis_reduction_tab.c
-rw-r--r-- 8623 basis_reduction_templ.c
-rw-r--r-- 6332 bound.c
-rwxr-xr-x 694 bound_test.sh
-rw-r--r-- 1335 cat.c
-rw-r--r-- 755 closure.c
-rw-r--r-- 2537 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - include
-rw-r--r-- 3939 isl.py
-rw-r--r-- 26257 isl_affine_hull.c
-rw-r--r-- 22689 isl_arg.c
-rw-r--r-- 549 isl_basis_reduction.h
-rw-r--r-- 15060 isl_bernstein.c
-rw-r--r-- 163 isl_bernstein.h
-rw-r--r-- 2336 isl_blk.c
-rw-r--r-- 8838 isl_bound.c
-rw-r--r-- 316 isl_bound.h
-rw-r--r-- 37996 isl_coalesce.c
-rw-r--r-- 24387 isl_constraint.c
-rw-r--r-- 65876 isl_convex_hull.c
-rw-r--r-- 3485 isl_ctx.c
-rw-r--r-- 410 isl_ctx_private.h
-rw-r--r-- 28529 isl_dim.c
-rw-r--r-- 928 isl_dim_private.h
-rw-r--r-- 3472 isl_div.c
-rw-r--r-- 18934 isl_equalities.c
-rw-r--r-- 747 isl_equalities.h
-rw-r--r-- 8118 isl_factorization.c
-rw-r--r-- 728 isl_factorization.h
-rw-r--r-- 37971 isl_flow.c
-rw-r--r-- 35230 isl_fold.c
-rw-r--r-- 617 isl_gmp.c
-rw-r--r-- 4288 isl_hash.c
-rw-r--r-- 8690 isl_ilp.c
-rw-r--r-- 58989 isl_input.c
-rw-r--r-- 1305 isl_list.c
-rw-r--r-- 4975 isl_lp.c
-rw-r--r-- 504 isl_lp_no_piplib.c
-rw-r--r-- 2805 isl_lp_piplib.c
-rw-r--r-- 610 isl_lp_piplib.h
-rw-r--r-- 206092 isl_map.c
-rw-r--r-- 514 isl_map_no_piplib.c
-rw-r--r-- 12026 isl_map_piplib.c
-rw-r--r-- 556 isl_map_piplib.h
-rw-r--r-- 11555 isl_map_private.h
-rw-r--r-- 66980 isl_map_simplify.c
-rw-r--r-- 18814 isl_map_subtract.c
-rw-r--r-- 33305 isl_mat.c
-rw-r--r-- 283 isl_mat_private.h
-rw-r--r-- 19228 isl_morph.c
-rw-r--r-- 2430 isl_morph.h
-rw-r--r-- 2204 isl_name.c
-rw-r--r-- 821 isl_name.h
-rw-r--r-- 8671 isl_obj.c
-rw-r--r-- 3518 isl_options.c
-rw-r--r-- 54670 isl_output.c
-rw-r--r-- 563 isl_piplib.c
-rw-r--r-- 712 isl_piplib.h
-rw-r--r-- 10181 isl_point.c
-rw-r--r-- 234 isl_point_private.h
-rw-r--r-- 99890 isl_polynomial.c
-rw-r--r-- 7117 isl_polynomial_private.h
-rw-r--r-- 6749 isl_printer.c
-rw-r--r-- 280 isl_printer_private.h
-rw-r--r-- 18327 isl_pw_templ.c
-rw-r--r-- 12797 isl_range.c
-rw-r--r-- 276 isl_range.h
-rw-r--r-- 3542 isl_reordering.c
-rw-r--r-- 1068 isl_reordering.h
-rw-r--r-- 37657 isl_sample.c
-rw-r--r-- 921 isl_sample.h
-rw-r--r-- 405 isl_sample_no_piplib.c
-rw-r--r-- 1774 isl_sample_piplib.c
-rw-r--r-- 489 isl_sample_piplib.h
-rw-r--r-- 7209 isl_scan.c
-rw-r--r-- 619 isl_scan.h
-rw-r--r-- 5542 isl_seq.c
-rw-r--r-- 14555 isl_stream.c
-rw-r--r-- 85820 isl_tab.c
-rw-r--r-- 9694 isl_tab.h
-rw-r--r-- 128177 isl_tab_pip.c
-rw-r--r-- 57193 isl_test.c
-rw-r--r-- 79956 isl_transitive_closure.c
-rw-r--r-- 33783 isl_union_map.c
-rw-r--r-- 146 isl_union_map_private.h
-rw-r--r-- 12027 isl_union_templ.c
-rw-r--r-- 4320 isl_vec.c
-rw-r--r-- 84 isl_version.c
-rw-r--r-- 37211 isl_vertices.c
-rw-r--r-- 1388 isl_vertices_private.h
drwxr-xr-x - m4
-rw-r--r-- 373 mp_get_memory_functions.c
-rw-r--r-- 8271 pip.c
-rwxr-xr-x 401 pip_test.sh
-rw-r--r-- 613 polyhedron_detect_equalities.c
-rw-r--r-- 2411 polyhedron_minimize.c
-rw-r--r-- 917 polyhedron_sample.c
-rw-r--r-- 2351 polytope_scan.c
drwxr-xr-x - test_inputs