source: java2python/geniuswebtranslator/geniuswebsrc/geniusweb/profile/FullOrdering.java@ 659

Last change on this file since 659 was 519, checked in by wouter, 19 months ago

#169 added geniusweb sources hard copy in the project as I need to hack it a bit.

File size: 1.0 KB
Line 
1package geniusweb.profile;
2
3import geniusweb.issuevalue.Bid;
4
5/**
6 * As {@link PartialOrdering}, but with more strict requirement on
7 * {@link #isPreferredOrEqual(geniusweb.issuevalue.Bid, geniusweb.issuevalue.Bid)}
8 */
9public interface FullOrdering extends PartialOrdering {
10 /**
11 * @param bid1 the first item's utility/preference
12 * @param bid2 the second item's utility/preference
13 * @return true iff bid1 is considered better or equal (≥) than bid 2. In
14 * all other cases false is returned.
15 *
16 * This predicate should be implemented such that
17 * <ul>
18 * <li>For all b1 and b2, either b1 &ge; b2 or b2 &ge; b1.
19 * <li>b &ge; b (every bid is better or equal to itself)
20 * <li>If b1&ge;b2 and b2&ge;b1 then the two bids are considered
21 * equally good. Note that this differes from a partial order in
22 * mathematics.
23 * <li>it behaves transitive: if b1&ge;b2 and b2&ge;b3 then
24 * b1&ge;b3.
25 * </ul>
26 */
27 @Override
28 boolean isPreferredOrEqual(Bid bid1, Bid bid2);
29}
Note: See TracBrowser for help on using the repository browser.