problemresolver « generic « src - aptitude

Mode	Name	Size
-rw-r--r--	Makefile.am	721	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	147107	log plain
-rw-r--r--	promotion_set.h	77399	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	59460	log plain
-rw-r--r--	solution.h	22876	log plain
-rw-r--r--	test.cc	13256	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	1835	log plain
-rw-r--r--	tier.h	15574	log plain
-rw-r--r--	tier_limits.cc	1218	log plain
-rw-r--r--	tier_limits.h	2175	log plain
-rw-r--r--	tier_operation.cc	5996	log plain
-rw-r--r--	tier_operation.h	10023	log plain