problemresolver « generic « src - aptitude

Mode	Name	Size
-rw-r--r--	Makefile.am	703	log plain
-rw-r--r--	choice.h	11860	log plain
-rw-r--r--	choice_indexed_map.h	13235	log plain
-rw-r--r--	choice_set.h	16669	log plain
-rw-r--r--	dummy_universe.cc	9417	log plain
-rw-r--r--	dummy_universe.h	19846	log plain
-rw-r--r--	dump_universe.h	2215	log plain
-rw-r--r--	exceptions.h	3439	log plain
-rw-r--r--	incremental_expression.cc	3110	log plain
-rw-r--r--	incremental_expression.h	16023	log plain
-rw-r--r--	model.tex	61379	log plain
-rw-r--r--	problemresolver.h	155940	log plain
-rw-r--r--	promotion_set.h	70010	log plain
-rw-r--r--	resolver_undo.h	1914	log plain
-rw-r--r--	sanity_check_universe.h	10538	log plain
-rw-r--r--	search_graph.h	61109	log plain
-rw-r--r--	solution.h	22957	log plain
-rw-r--r--	test.cc	13492	log plain
-rw-r--r--	test1.txt	597	log plain
-rw-r--r--	test3.txt	626	log plain
-rw-r--r--	test4.txt	493	log plain
-rw-r--r--	testcarglass.txt	873	log plain
-rw-r--r--	tier.cc	1129	log plain
-rw-r--r--	tier.h	8281	log plain
-rw-r--r--	tier_limits.cc	1647	log plain
-rw-r--r--	tier_limits.h	2383	log plain
-rw-r--r--	tier_operation.cc	6693	log plain
-rw-r--r--	tier_operation.h	12203	log plain