/tests/Polyhedron/

• ../
• .gitignore
• Makefile.am
• addcongruence1.cc
• addcongruences1.cc
• addconstraint1.cc
• addconstraints1.cc
• addconstraints2.cc
• addgenerator1.cc
• addgenerator2.cc
• addgenerators1.cc
• addgenerators2.cc
• addspacedims1.cc
• addspacedims2.cc
• affineimage1.cc
• affineimage2.cc
• affinepreimage1.cc
• affinetrans.cc
• append1.cc
• append2.cc
• ascii_dump_load1.cc
• ascii_dump_load2.cc
• ascii_dump_load3.cc
• bgp99extrapolation1.cc
• bgp99extrapolation2.cc
• bhrz03widening1.cc
• bhrz03widening2.cc
• bhrz03widening3.cc
• bhz03widening1.cc
• bounded1.cc
• boundedaffineimage1.cc
• boundedaffinepreimage1.cc
• boundedbhrz03extrapolation1.cc
• boundedh79extrapolation1.cc
• bounds1.cc
• cnncconversion1.cc
• concatenate1.cc
• congruences1.cc
• constrains1.cc
• constraints1.cc
• contains1.cc
• contains2.cc
• containsintegerpoint1.cc
• disjoint1.cc
• disjoint2.cc
• dualhypercubes.cc
• empty1.cc
• equals1.cc
• exceptions1.cc
• exceptions2.cc
• exceptions3.cc
• expandspacedim1.cc
• expandspacedim2.cc
• foldspacedims1.cc
• foldspacedims2.cc
• frombdshape1.cc
• frombox1.cc
• frombox2.cc
• fromgrid1.cc
• fromoctagonalshape1.cc
• generalizedaffineimage1.cc
• generalizedaffineimage2.cc
• generalizedaffinepreimage1.cc
• generalizedaffinepreimage2.cc
• generators1.cc
• geomcovers1.cc
• h79widening1.cc
• h79widening2.cc
• hybrid.cc
• intersection1.cc
• limitedbhrz03extrapolation1.cc
• limitedh79extrapolation1.cc
• linearexpression1.cc
• linearpartition1.cc
• linearsystem1.cc
• mapspacedims1.cc
• matrix1.cc
• max_min1.cc
• maxspacedim1.cc
• mc91.cc
• membytes1.cc
• memory1.cc
• memory2.cc
• minconstraints1.cc
• minconstraints2.cc
• mingenerators1.cc
• mingenerators2.cc
• nncminimize1.cc
• nncminimize2.cc
• numberinput1.cc
• onepoint.cc
• permute.cc
• polydifference1.cc
• polydifference2.cc
• polyhull1.cc
• polyhull2.cc
• polyhullifexact1.cc
• polyhullifexact2.cc
• randphull1.cc
• refinewithcongruence1.cc
• refinewithcongruences1.cc
• refinewithconstraint1.cc
• refinewithconstraints1.cc
• relations1.cc
• relations2.cc
• relations3.cc
• removespacedims1.cc
• removespacedims2.cc
• simplifyusingcontext1.cc
• smm1.cc
• timeelapse1.cc
• timeelapse2.cc
• topclosed1.cc
• topclosure1.cc
• unconstrain1.cc
• universe1.cc
• universe2.cc
• variablesset1.cc
• watchdog1.cc
• writeconsys1.cc
• writegensys1.cc
• writepolyhedron1.cc
• writepolyhedron2.cc
• writerelation1.cc
• writevariable1.cc