src - platform/upstream/ppl - Domain: System / Base; Licenses: GPL-3.0;

Mode	Name	Size
-rw-r--r--	.gitignore	110	log plain
-rw-r--r--	Affine_Space.cc	11932	log plain
-rw-r--r--	Affine_Space.defs.hh	57657	log plain
-rw-r--r--	Affine_Space.inlines.hh	5730	log plain
-rw-r--r--	Affine_Space.types.hh	745	log plain
-rw-r--r--	Any_Pointset.defs.hh	46360	log plain
-rw-r--r--	Any_Pointset.inlines.hh	1307	log plain
-rw-r--r--	Any_Pointset.types.hh	745	log plain
-rw-r--r--	Ask_Tell.defs.hh	10875	log plain
-rw-r--r--	Ask_Tell.inlines.hh	7131	log plain
-rw-r--r--	Ask_Tell.templates.hh	6998	log plain
-rw-r--r--	Ask_Tell.types.hh	795	log plain
-rw-r--r--	BDS_Status.idefs.hh	3962	log plain
-rw-r--r--	BDS_Status.inlines.hh	6543	log plain
-rw-r--r--	BD_Shape.cc	3609	log plain
-rw-r--r--	BD_Shape.defs.hh	84057	log plain
-rw-r--r--	BD_Shape.inlines.hh	26050	log plain
-rw-r--r--	BD_Shape.templates.hh	241047	log plain
-rw-r--r--	BD_Shape.types.hh	751	log plain
-rw-r--r--	BHRZ03_Certificate.cc	11782	log plain
-rw-r--r--	BHRZ03_Certificate.defs.hh	4178	log plain
-rw-r--r--	BHRZ03_Certificate.inlines.hh	2184	log plain
-rw-r--r--	BHRZ03_Certificate.types.hh	769	log plain
-rw-r--r--	Bit_Matrix.cc	7083	log plain
-rw-r--r--	Bit_Matrix.defs.hh	5756	log plain
-rw-r--r--	Bit_Matrix.inlines.hh	3591	log plain
-rw-r--r--	Bit_Matrix.types.hh	737	log plain
-rw-r--r--	Bit_Row.cc	8771	log plain
-rw-r--r--	Bit_Row.defs.hh	7162	log plain
-rw-r--r--	Bit_Row.inlines.hh	5882	log plain
-rw-r--r--	Bit_Row.types.hh	725	log plain
-rw-r--r--	Boundary.defs.hh	25440	log plain
-rw-r--r--	Box.cc	2575	log plain
-rw-r--r--	Box.defs.hh	76423	log plain
-rw-r--r--	Box.inlines.hh	19435	log plain
-rw-r--r--	Box.templates.hh	136486	log plain
-rw-r--r--	Box.types.hh	738	log plain
-rw-r--r--	Box_Status.idefs.hh	3531	log plain
-rw-r--r--	Box_Status.inlines.hh	5276	log plain
-rw-r--r--	CO_Tree.cc	35125	log plain
-rw-r--r--	CO_Tree.defs.hh	45829	log plain
-rw-r--r--	CO_Tree.inlines.hh	20023	log plain
-rw-r--r--	CO_Tree.templates.hh	4209	log plain
-rw-r--r--	CO_Tree.types.hh	725	log plain
-rw-r--r--	C_Integer.hh	6184	log plain
-rw-r--r--	C_Polyhedron.cc	3935	log plain
-rw-r--r--	C_Polyhedron.defs.hh	9287	log plain
-rw-r--r--	C_Polyhedron.inlines.hh	6022	log plain
-rw-r--r--	C_Polyhedron.types.hh	745	log plain
-rw-r--r--	Cast_Floating_Point_Expression.defs.hh	5952	log plain
-rw-r--r--	Cast_Floating_Point_Expression.inlines.hh	2236	log plain
-rw-r--r--	Cast_Floating_Point_Expression.templates.hh	1831	log plain
-rw-r--r--	Cast_Floating_Point_Expression.types.hh	874	log plain
-rw-r--r--	Checked_Number.cc	3448	log plain
-rw-r--r--	Checked_Number.defs.hh	35453	log plain
-rw-r--r--	Checked_Number.inlines.hh	27745	log plain
-rw-r--r--	Checked_Number.templates.hh	4523	log plain
-rw-r--r--	Checked_Number.types.hh	867	log plain
-rw-r--r--	Coefficient.cc	1875	log plain
-rw-r--r--	Coefficient.defs.hh	1996	log plain
-rw-r--r--	Coefficient.inlines.hh	2349	log plain
-rw-r--r--	Coefficient.types.hh	6806	log plain
-rw-r--r--	Coefficient_traits_template.hh	1482	log plain
-rw-r--r--	Concrete_Expression.cc	4173	log plain
-rw-r--r--	Concrete_Expression.defs.hh	5977	log plain
-rw-r--r--	Concrete_Expression.inlines.hh	4189	log plain
-rw-r--r--	Concrete_Expression.types.hh	2456	log plain
-rw-r--r--	Congruence.cc	7620	log plain
-rw-r--r--	Congruence.defs.hh	15104	log plain
-rw-r--r--	Congruence.inlines.hh	5815	log plain
-rw-r--r--	Congruence.types.hh	700	log plain
-rw-r--r--	Congruence_System.cc	17702	log plain
-rw-r--r--	Congruence_System.defs.hh	15620	log plain
-rw-r--r--	Congruence_System.inlines.hh	5356	log plain
-rw-r--r--	Congruence_System.types.hh	728	log plain
-rw-r--r--	Constant_Floating_Point_Expression.defs.hh	5812	log plain
-rw-r--r--	Constant_Floating_Point_Expression.inlines.hh	2937	log plain
-rw-r--r--	Constant_Floating_Point_Expression.types.hh	890	log plain
-rw-r--r--	Constraint.cc	10708	log plain
-rw-r--r--	Constraint.defs.hh	18288	log plain
-rw-r--r--	Constraint.inlines.hh	9721	log plain
-rw-r--r--	Constraint.types.hh	737	log plain
-rw-r--r--	Constraint_System.cc	19170	log plain
-rw-r--r--	Constraint_System.defs.hh	13251	log plain
-rw-r--r--	Constraint_System.inlines.hh	5800	log plain
-rw-r--r--	Constraint_System.types.hh	765	log plain
-rw-r--r--	DB_Matrix.defs.hh	10605	log plain
-rw-r--r--	DB_Matrix.inlines.hh	8648	log plain
-rw-r--r--	DB_Matrix.templates.hh	9950	log plain
-rw-r--r--	DB_Matrix.types.hh	755	log plain
-rw-r--r--	DB_Row.defs.hh	14452	log plain
-rw-r--r--	DB_Row.inlines.hh	9767	log plain
-rw-r--r--	DB_Row.templates.hh	6010	log plain
-rw-r--r--	DB_Row.types.hh	793	log plain
-rw-r--r--	Dense_Matrix.cc	15335	log plain
-rw-r--r--	Dense_Matrix.defs.hh	12477	log plain
-rw-r--r--	Dense_Matrix.inlines.hh	4803	log plain
-rw-r--r--	Dense_Matrix.types.hh	745	log plain
-rw-r--r--	Dense_Row.cc	12191	log plain
-rw-r--r--	Dense_Row.defs.hh	15250	log plain
-rw-r--r--	Dense_Row.inlines.hh	11436	log plain
-rw-r--r--	Dense_Row.templates.hh	1974	log plain
-rw-r--r--	Dense_Row.types.hh	733	log plain
-rw-r--r--	Determinate.defs.hh	9922	log plain
-rw-r--r--	Determinate.inlines.hh	7506	log plain
-rw-r--r--	Determinate.types.hh	766	log plain
-rw-r--r--	Difference_Floating_Point_Expression.defs.hh	7706	log plain
-rw-r--r--	Difference_Floating_Point_Expression.inlines.hh	2587	log plain
-rw-r--r--	Difference_Floating_Point_Expression.templates.hh	2154	log plain
-rw-r--r--	Difference_Floating_Point_Expression.types.hh	898	log plain
-rw-r--r--	Division_Floating_Point_Expression.defs.hh	8150	log plain
-rw-r--r--	Division_Floating_Point_Expression.inlines.hh	2572	log plain
-rw-r--r--	Division_Floating_Point_Expression.templates.hh	2432	log plain
-rw-r--r--	Division_Floating_Point_Expression.types.hh	890	log plain
-rw-r--r--	Doubly_Linked_Object.defs.hh	2195	log plain
-rw-r--r--	Doubly_Linked_Object.inlines.hh	2034	log plain
-rw-r--r--	Doubly_Linked_Object.types.hh	883	log plain
-rw-r--r--	EList.defs.hh	2842	log plain
-rw-r--r--	EList.inlines.hh	2873	log plain
-rw-r--r--	EList.types.hh	845	log plain
-rw-r--r--	EList_Iterator.defs.hh	2770	log plain
-rw-r--r--	EList_Iterator.inlines.hh	2665	log plain
-rw-r--r--	EList_Iterator.types.hh	881	log plain
-rw-r--r--	Float.cc	1729	log plain
-rw-r--r--	Float.defs.hh	18071	log plain
-rw-r--r--	Float.inlines.hh	11053	log plain
-rw-r--r--	Float.templates.hh	6676	log plain
-rw-r--r--	Floating_Point_Expression.defs.hh	7746	log plain
-rw-r--r--	Floating_Point_Expression.inlines.hh	1912	log plain
-rw-r--r--	Floating_Point_Expression.templates.hh	4274	log plain
-rw-r--r--	Floating_Point_Expression.types.hh	854	log plain
-rw-r--r--	GMP_Integer.defs.hh	4306	log plain
-rw-r--r--	GMP_Integer.inlines.hh	3413	log plain
-rw-r--r--	GMP_Integer.types.hh	1546	log plain
-rw-r--r--	Generator.cc	10902	log plain
-rw-r--r--	Generator.defs.hh	25209	log plain
-rw-r--r--	Generator.inlines.hh	10772	log plain
-rw-r--r--	Generator.types.hh	733	log plain
-rw-r--r--	Generator_System.cc	34941	log plain
-rw-r--r--	Generator_System.defs.hh	16288	log plain
-rw-r--r--	Generator_System.inlines.hh	5159	log plain
-rw-r--r--	Generator_System.types.hh	761	log plain
-rw-r--r--	Grid.defs.hh	87203	log plain
-rw-r--r--	Grid.inlines.hh	10988	log plain
-rw-r--r--	Grid.templates.hh	11252	log plain
-rw-r--r--	Grid.types.hh	713	log plain
-rw-r--r--	Grid_Certificate.cc	3733	log plain
-rw-r--r--	Grid_Certificate.defs.hh	3482	log plain
-rw-r--r--	Grid_Certificate.inlines.hh	2014	log plain
-rw-r--r--	Grid_Certificate.types.hh	724	log plain
-rw-r--r--	Grid_Generator.cc	10829	log plain
-rw-r--r--	Grid_Generator.defs.hh	17327	log plain
-rw-r--r--	Grid_Generator.inlines.hh	5595	log plain
-rw-r--r--	Grid_Generator.types.hh	716	log plain
-rw-r--r--	Grid_Generator_System.cc	12820	log plain
-rw-r--r--	Grid_Generator_System.defs.hh	16891	log plain
-rw-r--r--	Grid_Generator_System.inlines.hh	7640	log plain
-rw-r--r--	Grid_Generator_System.types.hh	744	log plain
-rw-r--r--	Grid_Status.cc	6278	log plain
-rw-r--r--	Grid_Status.idefs.hh	5900	log plain
-rw-r--r--	Grid_Status.inlines.hh	4207	log plain
-rw-r--r--	Grid_chdims.cc	16659	log plain
-rw-r--r--	Grid_conversion.cc	16000	log plain
-rw-r--r--	Grid_nonpublic.cc	25273	log plain
-rw-r--r--	Grid_public.cc	89281	log plain
-rw-r--r--	Grid_simplify.cc	19459	log plain
-rw-r--r--	Grid_widenings.cc	15044	log plain
-rw-r--r--	H79_Certificate.cc	4722	log plain
-rw-r--r--	H79_Certificate.defs.hh	3293	log plain
-rw-r--r--	H79_Certificate.inlines.hh	2306	log plain
-rw-r--r--	H79_Certificate.types.hh	757	log plain
-rw-r--r--	Handler.defs.hh	3160	log plain
-rw-r--r--	Handler.inlines.hh	1852	log plain
-rw-r--r--	Handler.types.hh	922	log plain
-rw-r--r--	Has_Assign_Or_Swap.hh	1895	log plain
-rw-r--r--	Init.cc	6755	log plain
-rw-r--r--	Init.defs.hh	3086	log plain
-rw-r--r--	Init.inlines.hh	1515	log plain
-rw-r--r--	Init.types.hh	713	log plain
-rw-r--r--	Integer_Interval.hh	2017	log plain
-rw-r--r--	Interval.defs.hh	22618	log plain
-rw-r--r--	Interval.inlines.hh	36216	log plain
-rw-r--r--	Interval.templates.hh	10695	log plain
-rw-r--r--	Interval.types.hh	773	log plain
-rw-r--r--	Interval_Info.defs.hh	8316	log plain
-rw-r--r--	Interval_Info.inlines.hh	3360	log plain
-rw-r--r--	Interval_Info.types.hh	849	log plain
-rw-r--r--	Linear_Expression.cc	13665	log plain
-rw-r--r--	Linear_Expression.defs.hh	17296	log plain
-rw-r--r--	Linear_Expression.inlines.hh	4679	log plain
-rw-r--r--	Linear_Expression.types.hh	765	log plain
-rw-r--r--	Linear_Form.cc	1084	log plain
-rw-r--r--	Linear_Form.defs.hh	15573	log plain
-rw-r--r--	Linear_Form.inlines.hh	5634	log plain
-rw-r--r--	Linear_Form.templates.hh	15239	log plain
-rw-r--r--	Linear_Form.types.hh	763	log plain
-rw-r--r--	Linear_Row.cc	7073	log plain
-rw-r--r--	Linear_Row.defs.hh	16271	log plain
-rw-r--r--	Linear_Row.inlines.hh	6924	log plain
-rw-r--r--	Linear_Row.types.hh	737	log plain
-rw-r--r--	Linear_System.cc	30832	log plain
-rw-r--r--	Linear_System.defs.hh	17613	log plain
-rw-r--r--	Linear_System.inlines.hh	10110	log plain
-rw-r--r--	Linear_System.types.hh	749	log plain
-rw-r--r--	MIP_Problem.cc	95014	log plain
-rw-r--r--	MIP_Problem.defs.hh	33467	log plain
-rw-r--r--	MIP_Problem.inlines.hh	8928	log plain
-rw-r--r--	MIP_Problem.templates.hh	6660	log plain
-rw-r--r--	MIP_Problem.types.hh	1037	log plain
-rw-r--r--	Makefile.am	17820	log plain
-rw-r--r--	Matrix.defs.hh	1227	log plain
-rw-r--r--	Matrix.types.hh	985	log plain
-rw-r--r--	Multiplication_Floating_Point_Expression.defs.hh	8885	log plain
-rw-r--r--	Multiplication_Floating_Point_Expression.inlines.hh	2690	log plain
-rw-r--r--	Multiplication_Floating_Point_Expression.templates.hh	4327	log plain
-rw-r--r--	Multiplication_Floating_Point_Expression.types.hh	914	log plain
-rw-r--r--	NNC_Polyhedron.cc	3697	log plain
-rw-r--r--	NNC_Polyhedron.defs.hh	8536	log plain
-rw-r--r--	NNC_Polyhedron.inlines.hh	6164	log plain
-rw-r--r--	NNC_Polyhedron.types.hh	753	log plain
-rw-r--r--	Numeric_Format.defs.hh	1253	log plain
-rw-r--r--	OR_Matrix.defs.hh	18866	log plain
-rw-r--r--	OR_Matrix.inlines.hh	18693	log plain
-rw-r--r--	OR_Matrix.templates.hh	3720	log plain
-rw-r--r--	OR_Matrix.types.hh	718	log plain
-rw-r--r--	Octagonal_Shape.cc	3356	log plain
-rw-r--r--	Octagonal_Shape.defs.hh	82626	log plain
-rw-r--r--	Octagonal_Shape.inlines.hh	25472	log plain
-rw-r--r--	Octagonal_Shape.templates.hh	297504	log plain
-rw-r--r--	Octagonal_Shape.types.hh	742	log plain
-rw-r--r--	Og_Status.idefs.hh	3560	log plain
-rw-r--r--	Og_Status.inlines.hh	5543	log plain
-rw-r--r--	Opposite_Floating_Point_Expression.defs.hh	6280	log plain
-rw-r--r--	Opposite_Floating_Point_Expression.inlines.hh	2736	log plain
-rw-r--r--	Opposite_Floating_Point_Expression.types.hh	890	log plain
-rw-r--r--	PIP_Problem.cc	22882	log plain
-rw-r--r--	PIP_Problem.defs.hh	30392	log plain
-rw-r--r--	PIP_Problem.inlines.hh	2874	log plain
-rw-r--r--	PIP_Problem.templates.hh	3003	log plain
-rw-r--r--	PIP_Problem.types.hh	980	log plain
-rw-r--r--	PIP_Tree.cc	120036	log plain
-rw-r--r--	PIP_Tree.defs.hh	28915	log plain
-rw-r--r--	PIP_Tree.inlines.hh	3451	log plain
-rw-r--r--	PIP_Tree.types.hh	824	log plain
-rw-r--r--	Partial_Function.cc	1572	log plain
-rw-r--r--	Partial_Function.defs.hh	2578	log plain
-rw-r--r--	Partial_Function.inlines.hh	2718	log plain
-rw-r--r--	Partial_Function.types.hh	761	log plain
-rw-r--r--	Partially_Reduced_Product.defs.hh	55138	log plain
-rw-r--r--	Partially_Reduced_Product.inlines.hh	23609	log plain
-rw-r--r--	Partially_Reduced_Product.templates.hh	21604	log plain
-rw-r--r--	Partially_Reduced_Product.types.hh	1165	log plain
-rw-r--r--	Pending_Element.defs.hh	2597	log plain
-rw-r--r--	Pending_Element.inlines.hh	2289	log plain
-rw-r--r--	Pending_Element.types.hh	890	log plain
-rw-r--r--	Pending_List.defs.hh	2718	log plain
-rw-r--r--	Pending_List.inlines.hh	2196	log plain
-rw-r--r--	Pending_List.templates.hh	2957	log plain
-rw-r--r--	Pending_List.types.hh	878	log plain
-rw-r--r--	Ph_Status.cc	6291	log plain
-rw-r--r--	Ph_Status.idefs.hh	7029	log plain
-rw-r--r--	Ph_Status.inlines.hh	4419	log plain
-rw-r--r--	Pointset_Ask_Tell.cc	2507	log plain
-rw-r--r--	Pointset_Ask_Tell.defs.hh	16980	log plain
-rw-r--r--	Pointset_Ask_Tell.inlines.hh	6249	log plain
-rw-r--r--	Pointset_Ask_Tell.templates.hh	9678	log plain
-rw-r--r--	Pointset_Ask_Tell.types.hh	790	log plain
-rw-r--r--	Pointset_Powerset.cc	11583	log plain
-rw-r--r--	Pointset_Powerset.defs.hh	48326	log plain
-rw-r--r--	Pointset_Powerset.inlines.hh	9333	log plain
-rw-r--r--	Pointset_Powerset.templates.hh	50982	log plain
-rw-r--r--	Pointset_Powerset.types.hh	790	log plain
-rw-r--r--	Poly_Con_Relation.cc	2115	log plain
-rw-r--r--	Poly_Con_Relation.defs.hh	5053	log plain
-rw-r--r--	Poly_Con_Relation.inlines.hh	2790	log plain
-rw-r--r--	Poly_Con_Relation.types.hh	765	log plain
-rw-r--r--	Poly_Gen_Relation.cc	1797	log plain
-rw-r--r--	Poly_Gen_Relation.defs.hh	4299	log plain
-rw-r--r--	Poly_Gen_Relation.inlines.hh	2460	log plain
-rw-r--r--	Poly_Gen_Relation.types.hh	765	log plain
-rw-r--r--	Polyhedron.defs.hh	94789	log plain
-rw-r--r--	Polyhedron.inlines.hh	11344	log plain
-rw-r--r--	Polyhedron.templates.hh	21018	log plain
-rw-r--r--	Polyhedron.types.hh	737	log plain
-rw-r--r--	Polyhedron_chdims.cc	24619	log plain
-rw-r--r--	Polyhedron_nonpublic.cc	82875	log plain
-rw-r--r--	Polyhedron_public.cc	128611	log plain
-rw-r--r--	Polyhedron_widenings.cc	29742	log plain
-rw-r--r--	Powerset.defs.hh	14242	log plain
-rw-r--r--	Powerset.inlines.hh	5247	log plain
-rw-r--r--	Powerset.templates.hh	8226	log plain
-rw-r--r--	Powerset.types.hh	751	log plain
-rw-r--r--	Ptr_Iterator.defs.hh	5724	log plain
-rw-r--r--	Ptr_Iterator.inlines.hh	4408	log plain
-rw-r--r--	Ptr_Iterator.types.hh	826	log plain
-rw-r--r--	Rational_Box.hh	1463	log plain
-rw-r--r--	Rational_Interval.hh	2047	log plain
-rw-r--r--	Result.defs.hh	5766	log plain
-rw-r--r--	Result.inlines.hh	2816	log plain
-rw-r--r--	Rounding_Dir.defs.hh	2950	log plain
-rw-r--r--	Rounding_Dir.inlines.hh	4041	log plain
-rw-r--r--	Row.defs.hh	1205	log plain
-rw-r--r--	Row.types.hh	958	log plain
-rw-r--r--	Row_Flags.cc	1871	log plain
-rw-r--r--	Row_Flags.defs.hh	2882	log plain
-rw-r--r--	Row_Flags.inlines.hh	1951	log plain
-rw-r--r--	Row_Flags.types.hh	733	log plain
-rw-r--r--	Scalar_Products.cc	5592	log plain
-rw-r--r--	Scalar_Products.defs.hh	8593	log plain
-rw-r--r--	Scalar_Products.inlines.hh	5270	log plain
-rw-r--r--	Scalar_Products.types.hh	849	log plain
-rw-r--r--	Slow_Copy.hh	1961	log plain
-rw-r--r--	Sparse_Matrix.cc	5783	log plain
-rw-r--r--	Sparse_Matrix.defs.hh	16344	log plain
-rw-r--r--	Sparse_Matrix.inlines.hh	4109	log plain
-rw-r--r--	Sparse_Matrix.types.hh	749	log plain
-rw-r--r--	Sparse_Row.cc	15031	log plain
-rw-r--r--	Sparse_Row.defs.hh	24861	log plain
-rw-r--r--	Sparse_Row.inlines.hh	8068	log plain
-rw-r--r--	Sparse_Row.templates.hh	4153	log plain
-rw-r--r--	Sparse_Row.types.hh	737	log plain
-rw-r--r--	Sum_Floating_Point_Expression.defs.hh	7187	log plain
-rw-r--r--	Sum_Floating_Point_Expression.inlines.hh	2497	log plain
-rw-r--r--	Sum_Floating_Point_Expression.templates.hh	2129	log plain
-rw-r--r--	Sum_Floating_Point_Expression.types.hh	870	log plain
-rw-r--r--	Temp.defs.hh	4374	log plain
-rw-r--r--	Temp.inlines.hh	2374	log plain
-rw-r--r--	Temp.templates.hh	1284	log plain
-rw-r--r--	Threshold_Watcher.cc	1117	log plain
-rw-r--r--	Threshold_Watcher.defs.hh	3216	log plain
-rw-r--r--	Threshold_Watcher.inlines.hh	2558	log plain
-rw-r--r--	Threshold_Watcher.templates.hh	2555	log plain
-rw-r--r--	Threshold_Watcher.types.hh	792	log plain
-rw-r--r--	Time.cc	1205	log plain
-rw-r--r--	Time.defs.hh	3559	log plain
-rw-r--r--	Time.inlines.hh	3383	log plain
-rw-r--r--	Time.types.hh	819	log plain
-rw-r--r--	Topology.types.hh	965	log plain
-rw-r--r--	Variable.cc	1847	log plain
-rw-r--r--	Variable.defs.hh	4953	log plain
-rw-r--r--	Variable.inlines.hh	2367	log plain
-rw-r--r--	Variable.types.hh	729	log plain
-rw-r--r--	Variable_Floating_Point_Expression.defs.hh	6361	log plain
-rw-r--r--	Variable_Floating_Point_Expression.inlines.hh	3505	log plain
-rw-r--r--	Variable_Floating_Point_Expression.types.hh	890	log plain
-rw-r--r--	Variables_Set.cc	2590	log plain
-rw-r--r--	Variables_Set.defs.hh	3427	log plain
-rw-r--r--	Variables_Set.inlines.hh	2240	log plain
-rw-r--r--	Variables_Set.types.hh	749	log plain
-rw-r--r--	WRD_coefficient_types.defs.hh	5409	log plain
-rw-r--r--	WRD_coefficient_types.inlines.hh	1536	log plain
-rw-r--r--	Watchdog.cc	6964	log plain
-rw-r--r--	Watchdog.defs.hh	4395	log plain
-rw-r--r--	Watchdog.inlines.hh	3286	log plain
-rw-r--r--	Watchdog.types.hh	729	log plain
-rw-r--r--	Weight_Profiler.cc	2825	log plain
-rw-r--r--	Weight_Profiler.defs.hh	4189	log plain
-rw-r--r--	Widening_Function.defs.hh	3969	log plain
-rw-r--r--	Widening_Function.inlines.hh	2376	log plain
-rw-r--r--	Widening_Function.types.hh	864	log plain
-rw-r--r--	algorithms.hh	2556	log plain
-rw-r--r--	assert.cc	1477	log plain
-rw-r--r--	assert.hh	5104	log plain
-rw-r--r--	assign_or_swap.hh	2473	log plain
-rw-r--r--	c_streambuf.cc	2986	log plain
-rw-r--r--	c_streambuf.defs.hh	3220	log plain
-rw-r--r--	c_streambuf.inlines.hh	1373	log plain
-rw-r--r--	c_streambuf.types.hh	741	log plain
-rw-r--r--	checked.cc	12741	log plain
-rw-r--r--	checked.defs.hh	36602	log plain
-rw-r--r--	checked.inlines.hh	20331	log plain
-rw-r--r--	checked_ext.defs.hh	4419	log plain
-rw-r--r--	checked_ext.inlines.hh	27310	log plain
-rw-r--r--	checked_float.inlines.hh	38231	log plain
-rw-r--r--	checked_int.inlines.hh	74840	log plain
-rw-r--r--	checked_mpq.inlines.hh	17517	log plain
-rw-r--r--	checked_mpz.inlines.hh	19417	log plain
-rw-r--r--	checked_numeric_limits.hh	5472	log plain
-rw-r--r--	compiler.hh	5514	log plain
-rw-r--r--	conversion.cc	37762	log plain
-rw-r--r--	distances.defs.hh	1880	log plain
-rw-r--r--	distances.inlines.hh	3534	log plain
-rw-r--r--	distances.types.hh	922	log plain
-rw-r--r--	fpu-c99.inlines.hh	2721	log plain
-rw-r--r--	fpu-ia32.cc	2271	log plain
-rw-r--r--	fpu-ia32.inlines.hh	5470	log plain
-rw-r--r--	fpu-none.inlines.hh	2221	log plain
-rw-r--r--	fpu-sparc.inlines.hh	2234	log plain
-rw-r--r--	fpu.defs.hh	3085	log plain
-rw-r--r--	fpu.types.hh	828	log plain
-rw-r--r--	globals.cc	1992	log plain
-rw-r--r--	globals.defs.hh	17678	log plain
-rw-r--r--	globals.inlines.hh	4181	log plain
-rw-r--r--	globals.types.hh	5301	log plain
-rw-r--r--	initializer.hh	1900	log plain
-rw-r--r--	intervals.defs.hh	12781	log plain
-rw-r--r--	iterator_to_const.defs.hh	7224	log plain
-rw-r--r--	iterator_to_const.inlines.hh	5244	log plain
-rw-r--r--	iterator_to_const.types.hh	857	log plain
-rw-r--r--	linearize.hh	30300	log plain
-rw-r--r--	math_utilities.defs.hh	3968	log plain
-rw-r--r--	math_utilities.inlines.hh	3563	log plain
-rw-r--r--	max_space_dimension.hh	3361	log plain
-rw-r--r--	meta_programming.hh	11877	log plain
-rw-r--r--	minimize.cc	16268	log plain
-rw-r--r--	mp_std_bits.cc	3636	log plain
-rw-r--r--	mp_std_bits.defs.hh	4840	log plain
-rw-r--r--	mp_std_bits.inlines.hh	1367	log plain
-rw-r--r--	namespaces.hh	6293	log plain
-rw-r--r--	ppl-config.cc.in	18489	log plain
-rw-r--r--	ppl_header.hh	3499	log plain
-rw-r--r--	simplify.cc	12869	log plain
-rw-r--r--	stdiobuf.cc	2451	log plain
-rw-r--r--	stdiobuf.defs.hh	2930	log plain
-rw-r--r--	stdiobuf.inlines.hh	1300	log plain
-rw-r--r--	stdiobuf.types.hh	729	log plain
-rw-r--r--	swapping_sort.templates.hh	4413	log plain
-rw-r--r--	termination.cc	29973	log plain
-rw-r--r--	termination.defs.hh	19491	log plain
-rw-r--r--	termination.templates.hh	18025	log plain
-rw-r--r--	version.cc	3546	log plain
-rw-r--r--	version.hh.in	3284	log plain
-rw-r--r--	wrap_assign.hh	13872	log plain
-rw-r--r--	wrap_string.cc	2829	log plain
-rw-r--r--	wrap_string.hh	1804	log plain