summaryrefslogtreecommitdiff
path: root/src/generic/problemresolver/tier_operation.h
AgeCommit message (Expand)AuthorFilesLines
2010-04-08Yank out the "tier" type and just use operations instead.Daniel Burrows1-17/+0
2010-03-08Add a routine on tier operations that could be used to test whether a tier is...Daniel Burrows1-0/+19
2010-03-07Merge changes on my laptop with changes on my desktop.Daniel Burrows1-0/+76
2010-03-04Correctly throw an out_of_range exception when the user tries to set aDaniel Burrows1-0/+4
2010-03-04Let client code query the components of a tier operation.Daniel Burrows1-0/+34
2010-03-04Expose the structural tier operation comparison more directly.Daniel Burrows1-0/+35
2010-03-04Implement a structural comparison operation on tier operations.Daniel Burrows1-0/+4
2010-02-07Throw an exception if the user tries to construct a tier operation that modif...Daniel Burrows1-0/+4
2010-02-07Initial implementation of a tiering system that is both sound and flexible.Daniel Burrows1-105/+212
2010-01-31Implement the usual comparison and hashing functions on tier operations.Daniel Burrows1-2/+34
2010-01-31Normalize tier operations so that equivalent ones always store the same tier ...Daniel Burrows1-0/+8
2010-01-31The greatest lower bound should discard trailing user levels.Daniel Burrows1-1/+1
2010-01-31Implement operator== and operator!= on tier operations.Daniel Burrows1-0/+9
2010-01-31Ditch increase-tier operations due to poor interaction with add-to-tier.Daniel Burrows1-35/+46
2010-01-30Write the code to dump a tier operation to an ostream.Daniel Burrows1-0/+8
2010-01-30Make apply and operator+ on tier_operation const.Daniel Burrows1-2/+2
2010-01-30Flesh out the rest of the tier operation object.Daniel Burrows1-12/+38
2010-01-30Add a first draft of a class to represent *operations* on tiers.Daniel Burrows1-0/+128