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

Mode	Name	Size
-rw-r--r--	BDS_Status.idefs.hh	3958	log plain
-rw-r--r--	BDS_Status.inlines.hh	6495	log plain
-rw-r--r--	BD_Shape.cc	3604	log plain
-rw-r--r--	BD_Shape.defs.hh	76645	log plain
-rw-r--r--	BD_Shape.inlines.hh	24522	log plain
-rw-r--r--	BD_Shape.templates.hh	211422	log plain
-rw-r--r--	BD_Shape.types.hh	751	log plain
-rw-r--r--	BHRZ03_Certificate.cc	11766	log plain
-rw-r--r--	BHRZ03_Certificate.defs.hh	4174	log plain
-rw-r--r--	BHRZ03_Certificate.inlines.hh	2179	log plain
-rw-r--r--	BHRZ03_Certificate.types.hh	769	log plain
-rw-r--r--	BUGS.cc.dist	1152	log plain
-rw-r--r--	Bit_Matrix.cc	7131	log plain
-rw-r--r--	Bit_Matrix.defs.hh	5754	log plain
-rw-r--r--	Bit_Matrix.inlines.hh	3757	log plain
-rw-r--r--	Bit_Matrix.types.hh	737	log plain
-rw-r--r--	Bit_Row.cc	8189	log plain
-rw-r--r--	Bit_Row.defs.hh	7882	log plain
-rw-r--r--	Bit_Row.inlines.hh	7714	log plain
-rw-r--r--	Bit_Row.types.hh	725	log plain
-rw-r--r--	Boundary.defs.hh	25677	log plain
-rw-r--r--	Box.cc	2570	log plain
-rw-r--r--	Box.defs.hh	73666	log plain
-rw-r--r--	Box.inlines.hh	19061	log plain
-rw-r--r--	Box.templates.hh	131486	log plain
-rw-r--r--	Box.types.hh	738	log plain
-rw-r--r--	Box_Status.idefs.hh	3527	log plain
-rw-r--r--	Box_Status.inlines.hh	5240	log plain
-rw-r--r--	COPYING.cc.dist	38650	log plain
-rw-r--r--	CREDITS.cc.dist	21805	log plain
-rw-r--r--	C_Integer.hh	6081	log plain
-rw-r--r--	C_Polyhedron.cc	3530	log plain
-rw-r--r--	C_Polyhedron.defs.hh	9282	log plain
-rw-r--r--	C_Polyhedron.inlines.hh	5096	log plain
-rw-r--r--	C_Polyhedron.types.hh	745	log plain
-rw-r--r--	Checked_Number.cc	3442	log plain
-rw-r--r--	Checked_Number.defs.hh	34977	log plain
-rw-r--r--	Checked_Number.inlines.hh	27205	log plain
-rw-r--r--	Checked_Number.templates.hh	4429	log plain
-rw-r--r--	Checked_Number.types.hh	867	log plain
-rw-r--r--	Coefficient.cc	1871	log plain
-rw-r--r--	Coefficient.defs.hh	1991	log plain
-rw-r--r--	Coefficient.inlines.hh	2344	log plain
-rw-r--r--	Coefficient.types.hh	6806	log plain
-rw-r--r--	Coefficient_traits_template.hh	994	log plain
-rw-r--r--	Congruence.cc	7539	log plain
-rw-r--r--	Congruence.defs.hh	15329	log plain
-rw-r--r--	Congruence.inlines.hh	5833	log plain
-rw-r--r--	Congruence.types.hh	700	log plain
-rw-r--r--	Congruence_System.cc	17313	log plain
-rw-r--r--	Congruence_System.defs.hh	15872	log plain
-rw-r--r--	Congruence_System.inlines.hh	5347	log plain
-rw-r--r--	Congruence_System.types.hh	728	log plain
-rw-r--r--	Constraint.cc	10660	log plain
-rw-r--r--	Constraint.defs.hh	18411	log plain
-rw-r--r--	Constraint.inlines.hh	9780	log plain
-rw-r--r--	Constraint.types.hh	737	log plain
-rw-r--r--	Constraint_System.cc	19044	log plain
-rw-r--r--	Constraint_System.defs.hh	13065	log plain
-rw-r--r--	Constraint_System.inlines.hh	5534	log plain
-rw-r--r--	Constraint_System.types.hh	765	log plain
-rw-r--r--	DB_Matrix.defs.hh	10568	log plain
-rw-r--r--	DB_Matrix.inlines.hh	8752	log plain
-rw-r--r--	DB_Matrix.templates.hh	9941	log plain
-rw-r--r--	DB_Matrix.types.hh	755	log plain
-rw-r--r--	DB_Row.defs.hh	14646	log plain
-rw-r--r--	DB_Row.inlines.hh	10102	log plain
-rw-r--r--	DB_Row.templates.hh	5975	log plain
-rw-r--r--	DB_Row.types.hh	793	log plain
-rw-r--r--	Determinate.defs.hh	10039	log plain
-rw-r--r--	Determinate.inlines.hh	7601	log plain
-rw-r--r--	Determinate.types.hh	766	log plain
-rw-r--r--	Float.cc	1724	log plain
-rw-r--r--	Float.defs.hh	11980	log plain
-rw-r--r--	Float.inlines.hh	9299	log plain
-rw-r--r--	GMP_Integer.defs.hh	4934	log plain
-rw-r--r--	GMP_Integer.inlines.hh	3408	log plain
-rw-r--r--	GMP_Integer.types.hh	1552	log plain
-rw-r--r--	Generator.cc	10893	log plain
-rw-r--r--	Generator.defs.hh	25361	log plain
-rw-r--r--	Generator.inlines.hh	10835	log plain
-rw-r--r--	Generator.types.hh	733	log plain
-rw-r--r--	Generator_System.cc	34795	log plain
-rw-r--r--	Generator_System.defs.hh	16462	log plain
-rw-r--r--	Generator_System.inlines.hh	5271	log plain
-rw-r--r--	Generator_System.types.hh	761	log plain
-rw-r--r--	Grid.defs.hh	87235	log plain
-rw-r--r--	Grid.inlines.hh	9721	log plain
-rw-r--r--	Grid.templates.hh	11018	log plain
-rw-r--r--	Grid.types.hh	713	log plain
-rw-r--r--	Grid_Certificate.cc	3793	log plain
-rw-r--r--	Grid_Certificate.defs.hh	3477	log plain
-rw-r--r--	Grid_Certificate.inlines.hh	2009	log plain
-rw-r--r--	Grid_Certificate.types.hh	724	log plain
-rw-r--r--	Grid_Generator.cc	10767	log plain
-rw-r--r--	Grid_Generator.defs.hh	17496	log plain
-rw-r--r--	Grid_Generator.inlines.hh	5764	log plain
-rw-r--r--	Grid_Generator.types.hh	716	log plain
-rw-r--r--	Grid_Generator_System.cc	12691	log plain
-rw-r--r--	Grid_Generator_System.defs.hh	17208	log plain
-rw-r--r--	Grid_Generator_System.inlines.hh	7884	log plain
-rw-r--r--	Grid_Generator_System.types.hh	744	log plain
-rw-r--r--	Grid_Status.cc	6274	log plain
-rw-r--r--	Grid_Status.idefs.hh	5896	log plain
-rw-r--r--	Grid_Status.inlines.hh	4195	log plain
-rw-r--r--	Grid_chdims.cc	16128	log plain
-rw-r--r--	Grid_conversion.cc	16124	log plain
-rw-r--r--	Grid_nonpublic.cc	25726	log plain
-rw-r--r--	Grid_public.cc	87768	log plain
-rw-r--r--	Grid_simplify.cc	19196	log plain
-rw-r--r--	Grid_widenings.cc	15820	log plain
-rw-r--r--	H79_Certificate.cc	4713	log plain
-rw-r--r--	H79_Certificate.defs.hh	3288	log plain
-rw-r--r--	H79_Certificate.inlines.hh	2301	log plain
-rw-r--r--	H79_Certificate.types.hh	757	log plain
-rw-r--r--	Has_Assign_Or_Swap.hh	1890	log plain
-rw-r--r--	Init.cc	6282	log plain
-rw-r--r--	Init.defs.hh	2811	log plain
-rw-r--r--	Init.inlines.hh	1510	log plain
-rw-r--r--	Init.types.hh	713	log plain
-rw-r--r--	Interval.defs.hh	25054	log plain
-rw-r--r--	Interval.inlines.hh	38426	log plain
-rw-r--r--	Interval.templates.hh	10449	log plain
-rw-r--r--	Interval.types.hh	773	log plain
-rw-r--r--	Interval_Info.defs.hh	8869	log plain
-rw-r--r--	Interval_Info.inlines.hh	3405	log plain
-rw-r--r--	Interval_Info.types.hh	849	log plain
-rw-r--r--	Interval_Restriction.defs.hh	26786	log plain
-rw-r--r--	Linear_Expression.cc	13661	log plain
-rw-r--r--	Linear_Expression.defs.hh	17418	log plain
-rw-r--r--	Linear_Expression.inlines.hh	4786	log plain
-rw-r--r--	Linear_Expression.types.hh	765	log plain
-rw-r--r--	Linear_Row.cc	6962	log plain
-rw-r--r--	Linear_Row.defs.hh	17145	log plain
-rw-r--r--	Linear_Row.inlines.hh	6877	log plain
-rw-r--r--	Linear_Row.types.hh	737	log plain
-rw-r--r--	Linear_System.cc	30519	log plain
-rw-r--r--	Linear_System.defs.hh	14847	log plain
-rw-r--r--	Linear_System.inlines.hh	6856	log plain
-rw-r--r--	Linear_System.types.hh	749	log plain
-rw-r--r--	MIP_Problem.cc	78702	log plain
-rw-r--r--	MIP_Problem.defs.hh	29343	log plain
-rw-r--r--	MIP_Problem.inlines.hh	5228	log plain
-rw-r--r--	MIP_Problem.templates.hh	5541	log plain
-rw-r--r--	MIP_Problem.types.hh	1037	log plain
-rw-r--r--	Makefile.am	13542	log plain
-rw-r--r--	Makefile.in	53859	log plain
-rw-r--r--	Matrix.cc	13303	log plain
-rw-r--r--	Matrix.defs.hh	11919	log plain
-rw-r--r--	Matrix.inlines.hh	4866	log plain
-rw-r--r--	Matrix.types.hh	721	log plain
-rw-r--r--	NNC_Polyhedron.cc	3288	log plain
-rw-r--r--	NNC_Polyhedron.defs.hh	8531	log plain
-rw-r--r--	NNC_Polyhedron.inlines.hh	5228	log plain
-rw-r--r--	NNC_Polyhedron.types.hh	753	log plain
-rw-r--r--	Numeric_Format.defs.hh	1248	log plain
-rw-r--r--	OR_Matrix.defs.hh	18544	log plain
-rw-r--r--	OR_Matrix.inlines.hh	17337	log plain
-rw-r--r--	OR_Matrix.templates.hh	3715	log plain
-rw-r--r--	OR_Matrix.types.hh	718	log plain
-rw-r--r--	Octagonal_Shape.cc	3347	log plain
-rw-r--r--	Octagonal_Shape.defs.hh	77067	log plain
-rw-r--r--	Octagonal_Shape.inlines.hh	24129	log plain
-rw-r--r--	Octagonal_Shape.templates.hh	263949	log plain
-rw-r--r--	Octagonal_Shape.types.hh	742	log plain
-rw-r--r--	Og_Status.idefs.hh	3552	log plain
-rw-r--r--	Og_Status.inlines.hh	5500	log plain
-rw-r--r--	PIP_Problem.cc	22003	log plain
-rw-r--r--	PIP_Problem.defs.hh	30403	log plain
-rw-r--r--	PIP_Problem.inlines.hh	2999	log plain
-rw-r--r--	PIP_Problem.templates.hh	2960	log plain
-rw-r--r--	PIP_Problem.types.hh	980	log plain
-rw-r--r--	PIP_Tree.cc	100933	log plain
-rw-r--r--	PIP_Tree.defs.hh	28501	log plain
-rw-r--r--	PIP_Tree.inlines.hh	3254	log plain
-rw-r--r--	PIP_Tree.types.hh	824	log plain
-rw-r--r--	Partial_Function.cc	1567	log plain
-rw-r--r--	Partial_Function.defs.hh	2573	log plain
-rw-r--r--	Partial_Function.inlines.hh	2711	log plain
-rw-r--r--	Partial_Function.types.hh	761	log plain
-rw-r--r--	Partially_Reduced_Product.defs.hh	55260	log plain
-rw-r--r--	Partially_Reduced_Product.inlines.hh	23625	log plain
-rw-r--r--	Partially_Reduced_Product.templates.hh	21464	log plain
-rw-r--r--	Partially_Reduced_Product.types.hh	1165	log plain
-rw-r--r--	Ph_Status.cc	6287	log plain
-rw-r--r--	Ph_Status.idefs.hh	7025	log plain
-rw-r--r--	Ph_Status.inlines.hh	4407	log plain
-rw-r--r--	Pointset_Powerset.cc	11474	log plain
-rw-r--r--	Pointset_Powerset.defs.hh	48370	log plain
-rw-r--r--	Pointset_Powerset.inlines.hh	9402	log plain
-rw-r--r--	Pointset_Powerset.templates.hh	49725	log plain
-rw-r--r--	Pointset_Powerset.types.hh	790	log plain
-rw-r--r--	Poly_Con_Relation.cc	2112	log plain
-rw-r--r--	Poly_Con_Relation.defs.hh	5048	log plain
-rw-r--r--	Poly_Con_Relation.inlines.hh	2785	log plain
-rw-r--r--	Poly_Con_Relation.types.hh	765	log plain
-rw-r--r--	Poly_Gen_Relation.cc	1794	log plain
-rw-r--r--	Poly_Gen_Relation.defs.hh	4294	log plain
-rw-r--r--	Poly_Gen_Relation.inlines.hh	2455	log plain
-rw-r--r--	Poly_Gen_Relation.types.hh	765	log plain
-rw-r--r--	Polyhedron.defs.hh	87239	log plain
-rw-r--r--	Polyhedron.inlines.hh	9911	log plain
-rw-r--r--	Polyhedron.templates.hh	9848	log plain
-rw-r--r--	Polyhedron.types.hh	737	log plain
-rw-r--r--	Polyhedron_chdims.cc	24084	log plain
-rw-r--r--	Polyhedron_nonpublic.cc	81419	log plain
-rw-r--r--	Polyhedron_public.cc	127751	log plain
-rw-r--r--	Polyhedron_widenings.cc	30113	log plain
-rw-r--r--	Powerset.defs.hh	14364	log plain
-rw-r--r--	Powerset.inlines.hh	5347	log plain
-rw-r--r--	Powerset.templates.hh	8214	log plain
-rw-r--r--	Powerset.types.hh	751	log plain
-rw-r--r--	Ptr_Iterator.defs.hh	5729	log plain
-rw-r--r--	Ptr_Iterator.inlines.hh	4403	log plain
-rw-r--r--	Ptr_Iterator.types.hh	826	log plain
-rw-r--r--	Rational_Box.hh	1458	log plain
-rw-r--r--	Rational_Interval.hh	2088	log plain
-rw-r--r--	Result.defs.hh	5441	log plain
-rw-r--r--	Result.inlines.hh	2319	log plain
-rw-r--r--	Rounding_Dir.defs.hh	2826	log plain
-rw-r--r--	Rounding_Dir.inlines.hh	3174	log plain
-rw-r--r--	Row.cc	8163	log plain
-rw-r--r--	Row.defs.hh	16013	log plain
-rw-r--r--	Row.inlines.hh	8609	log plain
-rw-r--r--	Row.types.hh	733	log plain
-rw-r--r--	Scalar_Products.cc	5533	log plain
-rw-r--r--	Scalar_Products.defs.hh	8494	log plain
-rw-r--r--	Scalar_Products.inlines.hh	5265	log plain
-rw-r--r--	Scalar_Products.types.hh	849	log plain
-rw-r--r--	Slow_Copy.hh	1956	log plain
-rw-r--r--	Temp.defs.hh	5103	log plain
-rw-r--r--	Temp.inlines.hh	2728	log plain
-rw-r--r--	Temp.templates.hh	1279	log plain
-rw-r--r--	Topology.hh	947	log plain
-rw-r--r--	Variable.cc	1695	log plain
-rw-r--r--	Variable.defs.hh	4952	log plain
-rw-r--r--	Variable.inlines.hh	2360	log plain
-rw-r--r--	Variable.types.hh	729	log plain
-rw-r--r--	Variables_Set.cc	2584	log plain
-rw-r--r--	Variables_Set.defs.hh	3424	log plain
-rw-r--r--	Variables_Set.inlines.hh	2230	log plain
-rw-r--r--	Variables_Set.types.hh	749	log plain
-rw-r--r--	WRD_coefficient_types.defs.hh	5728	log plain
-rw-r--r--	WRD_coefficient_types.inlines.hh	1531	log plain
-rw-r--r--	Weight_Profiler.cc	2720	log plain
-rw-r--r--	Weight_Profiler.defs.hh	3152	log plain
-rw-r--r--	Widening_Function.defs.hh	3964	log plain
-rw-r--r--	Widening_Function.inlines.hh	2371	log plain
-rw-r--r--	Widening_Function.types.hh	864	log plain
-rw-r--r--	algorithms.hh	2535	log plain
-rw-r--r--	assert.hh	2230	log plain
-rw-r--r--	assign_or_swap.hh	2459	log plain
-rw-r--r--	c_streambuf.cc	2642	log plain
-rw-r--r--	c_streambuf.defs.hh	3132	log plain
-rw-r--r--	c_streambuf.inlines.hh	1360	log plain
-rw-r--r--	c_streambuf.types.hh	741	log plain
-rw-r--r--	checked.cc	9966	log plain
-rw-r--r--	checked.defs.hh	33533	log plain
-rw-r--r--	checked.inlines.hh	19950	log plain
-rw-r--r--	checked_ext.inlines.hh	27296	log plain
-rw-r--r--	checked_float.inlines.hh	37194	log plain
-rw-r--r--	checked_int.inlines.hh	74129	log plain
-rw-r--r--	checked_mpq.inlines.hh	17495	log plain
-rw-r--r--	checked_mpz.inlines.hh	19347	log plain
-rw-r--r--	checked_numeric_limits.hh	5143	log plain
-rw-r--r--	compiler.hh	2441	log plain
-rw-r--r--	conversion.cc	37467	log plain
-rw-r--r--	distances.defs.hh	1875	log plain
-rw-r--r--	distances.inlines.hh	3529	log plain
-rw-r--r--	distances.types.hh	922	log plain
-rw-r--r--	fpu-c99.inlines.hh	2712	log plain
-rw-r--r--	fpu-ia32.cc	2305	log plain
-rw-r--r--	fpu-ia32.inlines.hh	5465	log plain
-rw-r--r--	fpu-none.inlines.hh	2216	log plain
-rw-r--r--	fpu-sparc.inlines.hh	2229	log plain
-rw-r--r--	fpu.defs.hh	2975	log plain
-rw-r--r--	fpu.types.hh	828	log plain
-rw-r--r--	globals.cc	1499	log plain
-rw-r--r--	globals.defs.hh	15733	log plain
-rw-r--r--	globals.inlines.hh	3269	log plain
-rw-r--r--	globals.types.hh	4382	log plain
-rw-r--r--	initializer.hh	1935	log plain
-rw-r--r--	intervals.defs.hh	10858	log plain
-rw-r--r--	iterator_to_const.defs.hh	7317	log plain
-rw-r--r--	iterator_to_const.inlines.hh	5239	log plain
-rw-r--r--	iterator_to_const.types.hh	857	log plain
-rw-r--r--	math_utilities.defs.hh	3953	log plain
-rw-r--r--	math_utilities.inlines.hh	3543	log plain
-rw-r--r--	max_space_dimension.hh	3356	log plain
-rw-r--r--	meta_programming.hh	11765	log plain
-rw-r--r--	minimize.cc	16266	log plain
-rw-r--r--	mp_std_bits.cc	3910	log plain
-rw-r--r--	mp_std_bits.defs.hh	5116	log plain
-rw-r--r--	mp_std_bits.inlines.hh	1458	log plain
-rw-r--r--	namespaces.hh	6398	log plain
-rw-r--r--	ppl-config.cc.in	18674	log plain
-rw-r--r--	ppl.hh.dist	2622454	log plain
-rw-r--r--	ppl_header.hh	3296	log plain
-rw-r--r--	simplify.cc	12810	log plain
-rw-r--r--	stdiobuf.cc	2196	log plain
-rw-r--r--	stdiobuf.defs.hh	2921	log plain
-rw-r--r--	stdiobuf.inlines.hh	1291	log plain
-rw-r--r--	stdiobuf.types.hh	729	log plain
-rw-r--r--	swapping_sort.icc	5252	log plain
-rw-r--r--	termination.cc	30454	log plain
-rw-r--r--	termination.defs.hh	18989	log plain
-rw-r--r--	termination.templates.hh	18080	log plain
-rw-r--r--	version.cc	3376	log plain
-rw-r--r--	version.hh.in	3186	log plain
-rw-r--r--	wrap_assign.hh	13752	log plain
-rw-r--r--	wrap_string.cc	2548	log plain
-rw-r--r--	wrap_string.hh	1799	log plain