summaryrefslogtreecommitdiff
path: root/src/generic/problemresolver/promotion_set.h
AgeCommit message (Expand)AuthorFilesLines
2010-05-28Transition from log4cxx to the new logging framework.Daniel Burrows1-1/+1
2010-04-21Rename the log4cxx namespace to logging.Daniel Burrows1-21/+21
2010-04-19Hopefully fix a crashing bug in the resolver. (Closes: #578344)Daniel Burrows1-2/+10
2010-04-09Terminology change: replace "tier operation" with "cost" everywhere.Daniel Burrows1-83/+83
2010-04-09Restructure the source tree to move tier_ related code into files whose name ...Daniel Burrows1-3/+2
2010-04-08Yank out the "tier" type and just use operations instead.Daniel Burrows1-61/+0
2010-03-11Attempt to optimize the resolver by not creating unnecessary intermediate tie...Daniel Burrows1-10/+10
2010-03-05Overhaul the resolver to distinguish between tiers and changes to tiers; this...Daniel Burrows1-429/+237
2010-01-23Rewire the rest of the dependency solver to account for the new tier type.Daniel Burrows1-3/+2
2009-07-10Eliminating the use of hash tables to save memory: backed out changeset 7c43f...Daniel Burrows1-9/+29
2009-07-05Reimplement choice_set in terms of boost::unordered_set.Daniel Burrows1-29/+9
2009-06-27Ensure that promotions with exactly one element are flagged properly.Daniel Burrows1-0/+60
2009-06-25Improve logging of find_highest_incipient_promotion*.Daniel Burrows1-2/+2
2009-06-25Fix the incipient promotion stuff in the case of solutions containing broken ...Daniel Burrows1-1/+4
2009-06-25More logging of find_incipient_promotions_containing().Daniel Burrows1-0/+3
2009-06-24Log a more reasonable amount of stuff relating to the promotion set at INFO, ...Daniel Burrows1-2/+2
2009-06-15Instead of always doing a full incremental recomputation of each step's tier ...Daniel Burrows1-15/+47
2009-06-15Use unordered containers to return results from promotion lookups too.Daniel Burrows1-7/+7
2009-06-15Agressively use boost unordered sets/maps for the internal structures of the ...Daniel Burrows1-53/+58
2009-06-15Actually make it feasible to invoke the incipient-promotion-finder on non-boo...Daniel Burrows1-3/+4
2009-06-15Make the incipient-promotion-finding routines generic in the value type of th...Daniel Burrows1-21/+23
2009-06-09Add 3-way comparisons to the resolver layer instead of using operator<.Daniel Burrows1-6/+32
2009-06-07Don't attempt to track tier validity at the solver level; instead, when a pro...Daniel Burrows1-3/+18
2009-06-04"Bless" solutions that the resolver has decided to return, to prevent them fr...Daniel Burrows1-2/+15
2009-06-04Fix operator<< for promotions.Daniel Burrows1-1/+3
2009-06-03Be careful not to reference tiers from the main map after they're deleted.Daniel Burrows1-1/+5
2009-06-03Use choice_indexed_maps instead of choice_sets to represent the output domain...Daniel Burrows1-7/+43
2009-06-03Fix update_incipient_output to not defererence invalid iterators.Daniel Burrows1-1/+1
2009-06-03Make the log message at the top of find_highest_incipient_promotions_containi...Daniel Burrows1-1/+1
2009-06-02Fix one more compile error in the promotion_set.Daniel Burrows1-3/+6
2009-06-02Fix enough compile errors that the problem resolver subdirectory compiles.Daniel Burrows1-46/+89
2009-05-29Various compilation fixes for the problem resolver.Daniel Burrows1-1/+1
2009-05-28Add a sanity-check to be sure that promotions aren't ejected more than once (...Daniel Burrows1-1/+13
2009-05-26Use the new wrapper class to store retraction expressions.Daniel Burrows1-15/+6
2009-05-23Fix compile errors in promotion_set.h.Daniel Burrows1-12/+24
2009-05-23Add support for tracking whether promotions are valid and dropping invalid pr...Daniel Burrows1-8/+203
2009-05-17Commit a non-working, incomplete iteration of the incremental rewrite of the ...Daniel Burrows1-15/+266
2009-05-09Extract some of the search-graph handling stuff into a separate file.Daniel Burrows1-0/+13
2009-03-29Make tiers be tuples of integers (lexicographically ordered) instead of plain...Daniel Burrows1-123/+133
2009-03-03Rename promotion_set to generic_promotion_set for consistency with the rest o...Daniel Burrows1-8/+8
2009-03-03Give promotions a default constructor.Daniel Burrows1-0/+5
2009-03-01Use choice sets, not imm::set<choice>s, to store the choices stored in each p...Daniel Burrows1-8/+11
2009-03-01Add a routine to retrieve the size of a particular tier of the search.Daniel Burrows1-0/+9
2009-02-27Fix remove_below_tier so it compiles.Daniel Burrows1-3/+5
2009-02-27Remove the "iterator" member class of promotion_set; I had a notion it would ...Daniel Burrows1-31/+0
2009-02-25Update the doccomment for install_version_index_entry::from_dep_source_entrie...Daniel Burrows1-0/+12
2009-02-25Fix a bug in the promotion set which prevented incoming sets containing a fro...Daniel Burrows1-4/+27
2009-02-23Trace calls to find_highest_promotion_* and trace parameters.Daniel Burrows1-0/+4
2009-02-23Fix find_highest_promotion_containing.Daniel Burrows1-30/+66
2009-02-22Add a "promotion set" object.Daniel Burrows1-0/+1556