Polyhedron « tests - platform/upstream/ppl - Domain: System / Base; Licenses: GPL-3.0;

Mode	Name	Size
-rw-r--r--	Makefile.am	20125	log plain
-rw-r--r--	Makefile.in	357443	log plain
-rw-r--r--	addcongruence1.cc	4588	log plain
-rw-r--r--	addcongruences1.cc	4934	log plain
-rw-r--r--	addconstraint1.cc	2499	log plain
-rw-r--r--	addconstraints1.cc	7231	log plain
-rw-r--r--	addconstraints2.cc	2281	log plain
-rw-r--r--	addgenerator1.cc	2892	log plain
-rw-r--r--	addgenerator2.cc	3132	log plain
-rw-r--r--	addgenerators1.cc	6860	log plain
-rw-r--r--	addgenerators2.cc	3219	log plain
-rw-r--r--	addspacedims1.cc	4596	log plain
-rw-r--r--	addspacedims2.cc	5637	log plain
-rw-r--r--	affineimage1.cc	5570	log plain
-rw-r--r--	affineimage2.cc	2000	log plain
-rw-r--r--	affinepreimage1.cc	8936	log plain
-rw-r--r--	affinetrans.cc	2381	log plain
-rw-r--r--	append1.cc	3164	log plain
-rw-r--r--	append2.cc	3841	log plain
-rw-r--r--	ascii_dump_load1.cc	10669	log plain
-rw-r--r--	ascii_dump_load2.cc	2941	log plain
-rw-r--r--	ascii_dump_load3.cc	8380	log plain
-rw-r--r--	bgp99extrapolation1.cc	3924	log plain
-rw-r--r--	bgp99extrapolation2.cc	7624	log plain
-rw-r--r--	bhrz03widening1.cc	15775	log plain
-rw-r--r--	bhrz03widening2.cc	5493	log plain
-rw-r--r--	bhrz03widening3.cc	16203	log plain
-rw-r--r--	bhz03widening1.cc	17504	log plain
-rw-r--r--	bounded1.cc	2334	log plain
-rw-r--r--	boundedaffineimage1.cc	5475	log plain
-rw-r--r--	boundedaffinepreimage1.cc	3208	log plain
-rw-r--r--	boundedbhrz03extrapolation1.cc	3980	log plain
-rw-r--r--	boundedh79extrapolation1.cc	2039	log plain
-rw-r--r--	bounds1.cc	1685	log plain
-rw-r--r--	cnncconversion1.cc	3343	log plain
-rw-r--r--	concatenate1.cc	5949	log plain
-rw-r--r--	congruences1.cc	6964	log plain
-rw-r--r--	constrains1.cc	4502	log plain
-rw-r--r--	constraints1.cc	3485	log plain
-rw-r--r--	contains1.cc	3232	log plain
-rw-r--r--	contains2.cc	3654	log plain
-rw-r--r--	containsintegerpoint1.cc	3738	log plain
-rw-r--r--	disjoint1.cc	3284	log plain
-rw-r--r--	disjoint2.cc	3272	log plain
-rw-r--r--	dropsomenonintegerpoints1.cc	3890	log plain
-rw-r--r--	dropsomenonintegerpoints2.cc	3772	log plain
-rw-r--r--	dualhypercubes.cc	13035	log plain
-rw-r--r--	empty1.cc	1555	log plain
-rw-r--r--	equals1.cc	1867	log plain
-rw-r--r--	exceptions1.cc	31775	log plain
-rw-r--r--	exceptions2.cc	20168	log plain
-rw-r--r--	exceptions3.cc	6718	log plain
-rw-r--r--	expandspacedim1.cc	6354	log plain
-rw-r--r--	expandspacedim2.cc	3018	log plain
-rw-r--r--	foldspacedims1.cc	7898	log plain
-rw-r--r--	foldspacedims2.cc	5404	log plain
-rw-r--r--	frequency1.cc	5165	log plain
-rw-r--r--	frombdshape1.cc	1503	log plain
-rw-r--r--	frombox1.cc	5469	log plain
-rw-r--r--	frombox2.cc	2825	log plain
-rw-r--r--	fromgrid1.cc	4114	log plain
-rw-r--r--	fromoctagonalshape1.cc	1478	log plain
-rw-r--r--	generalizedaffineimage1.cc	5838	log plain
-rw-r--r--	generalizedaffineimage2.cc	12306	log plain
-rw-r--r--	generalizedaffinepreimage1.cc	3146	log plain
-rw-r--r--	generalizedaffinepreimage2.cc	1900	log plain
-rw-r--r--	generators1.cc	4871	log plain
-rw-r--r--	geomcovers1.cc	1706	log plain
-rw-r--r--	h79widening1.cc	5587	log plain
-rw-r--r--	h79widening2.cc	1783	log plain
-rw-r--r--	hybrid.cc	28856	log plain
-rw-r--r--	intersection1.cc	12643	log plain
-rw-r--r--	limitedbhrz03extrapolation1.cc	1975	log plain
-rw-r--r--	limitedh79extrapolation1.cc	5910	log plain
-rw-r--r--	linearexpression1.cc	4113	log plain
-rw-r--r--	linearpartition1.cc	9293	log plain
-rw-r--r--	linearsystem1.cc	3174	log plain
-rw-r--r--	mapspacedims1.cc	10332	log plain
-rw-r--r--	matrix1.cc	1972	log plain
-rw-r--r--	max_min1.cc	4919	log plain
-rw-r--r--	maxspacedim1.cc	4881	log plain
-rw-r--r--	mc91.cc	3572	log plain
-rw-r--r--	membytes1.cc	9644	log plain
-rw-r--r--	memory1.cc	6072	log plain
-rw-r--r--	memory2.cc	6326	log plain
-rw-r--r--	minconstraints1.cc	1923	log plain
-rw-r--r--	minconstraints2.cc	1822	log plain
-rw-r--r--	mingenerators1.cc	2061	log plain
-rw-r--r--	mingenerators2.cc	1380	log plain
-rw-r--r--	nncminimize1.cc	10464	log plain
-rw-r--r--	nncminimize2.cc	2632	log plain
-rw-r--r--	numberinput1.cc	26156	log plain
-rw-r--r--	onepoint.cc	1645	log plain
-rw-r--r--	permute.cc	6399	log plain
-rw-r--r--	polydifference1.cc	4482	log plain
-rw-r--r--	polydifference2.cc	4100	log plain
-rw-r--r--	polyhull1.cc	8283	log plain
-rw-r--r--	polyhull2.cc	1592	log plain
-rw-r--r--	polyhullifexact1.cc	11520	log plain
-rw-r--r--	polyhullifexact2.cc	11045	log plain
-rw-r--r--	randphull1.cc	6055	log plain
-rw-r--r--	refinewithcongruence1.cc	2534	log plain
-rw-r--r--	refinewithcongruences1.cc	6683	log plain
-rw-r--r--	refinewithconstraint1.cc	2671	log plain
-rw-r--r--	refinewithconstraints1.cc	6348	log plain
-rw-r--r--	relations1.cc	11176	log plain
-rw-r--r--	relations2.cc	5476	log plain
-rw-r--r--	relations3.cc	7246	log plain
-rw-r--r--	removespacedims1.cc	6542	log plain
-rw-r--r--	removespacedims2.cc	1852	log plain
-rw-r--r--	simplifyusingcontext1.cc	11949	log plain
-rw-r--r--	smm1.cc	3899	log plain
-rw-r--r--	termination1.cc	11086	log plain
-rw-r--r--	termination2.cc	5135	log plain
-rw-r--r--	timeelapse1.cc	5615	log plain
-rw-r--r--	timeelapse2.cc	2971	log plain
-rw-r--r--	topclosed1.cc	2198	log plain
-rw-r--r--	topclosure1.cc	3739	log plain
-rw-r--r--	unconstrain1.cc	5385	log plain
-rw-r--r--	universe1.cc	3363	log plain
-rw-r--r--	universe2.cc	2180	log plain
-rw-r--r--	variablesset1.cc	3883	log plain
-rw-r--r--	watchdog1.cc	3903	log plain
-rw-r--r--	weightwatch1.cc	5973	log plain
-rw-r--r--	wrap1.cc	13873	log plain
-rw-r--r--	wrap2.cc	2501	log plain
-rw-r--r--	writeconsys1.cc	2055	log plain
-rw-r--r--	writegensys1.cc	2131	log plain
-rw-r--r--	writepolyhedron1.cc	1808	log plain
-rw-r--r--	writepolyhedron2.cc	2115	log plain
-rw-r--r--	writerelation1.cc	2743	log plain
-rw-r--r--	writevariable1.cc	2793	log plain