/tests/BD_Shape/

• ../
• Makefile.am
• Makefile.in
• addconstraints1.cc
• addspacedims1.cc
• affinedimension1.cc
• affineimage1.cc
• affineimage2.cc
• affinepreimage1.cc
• ascii_dump_load1.cc
• bgp99extrapolation1.cc
• bhmz05widening1.cc
• bhz03widening1.cc
• bounded1.cc
• boundedaffineimage1.cc
• boundedaffinepreimage1.cc
• bounds1.cc
• cc76extrapolation1.cc
• cc76narrowing1.cc
• closure1.cc
• concatenate1.cc
• congruences1.cc
• constrains1.cc
• constraints1.cc
• contains1.cc
• containsintegerpoint1.cc
• difference1.cc
• discrete1.cc
• disjoint1.cc
• dropsomenonintegerpoints1.cc
• empty1.cc
• equality1.cc
• expandspacedim1.cc
• foldspacedims1.cc
• frequency1.cc
• frombdshape1.cc
• frombox1.cc
• fromgensys1.cc
• fromgrid1.cc
• fromoctagonalshape1.cc
• frompolyhedron1.cc
• fromspacedim1.cc
• generalizedaffineimage1.cc
• generalizedaffineimage2.cc
• generalizedaffinepreimage1.cc
• generalizedaffinepreimage2.cc
• generalizedaffinepreimage3.cc
• geomcovers1.cc
• h79widening1.cc
• integerupperboundifexact1.cc
• intersection1.cc
• limitedbhmz05extrapolation1.cc
• limitedcc76extrapolation1.cc
• limitedh79extrapolation1.cc
• mapspacedims1.cc
• max_min1.cc
• max_min2.cc
• maxspacedim1.cc
• membytes1.cc
• minconstraints1.cc
• relations1.cc
• relations2.cc
• relations3.cc
• relations4.cc
• removespacedims1.cc
• run_tests
• simplifyusingcontext1.cc
• timeelapse1.cc
• unconstrain1.cc
• universe1.cc
• upperbound1.cc
• upperboundifexact1.cc
• wrap1.cc
• writebdshape1.cc