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

package geniusweb.profile;

import org.eclipse.jdt.annotation.NonNull;

import geniusweb.issuevalue.Bid;

/**
 * As {@link PartialOrdering}, but with more strict requirement on
 * {@link #isPreferredOrEqual(geniusweb.issuevalue.Bid, geniusweb.issuevalue.Bid)}
 */
public interface FullOrdering extends PartialOrdering {
        @Override
        /**
         * @param bid1 the first item's utility/preference
         * @param bid2 the second item's utility/preference
         * @return true iff bid1 is considered better or equal (≥) than bid 2. In
         *         all other cases false is returned.
         * 
         *         This predicate should be implemented such that
         *         <ul>
         *         <li>For all b1 and b2, either b1 &ge; b2 or b2 &ge; b1.
         *         <li>b &ge; b (every bid is better or equal to itself)
         *         <li>If b1&ge;b2 and b2&ge;b1 then the two bids are considered
         *         equally good. Note that this differes from a partial order in
         *         mathematics.
         *         <li>it behaves transitive: if b1&ge;b2 and b2&ge;b3 then
         *         b1&ge;b3.
         *         </ul>
         */
        boolean isPreferredOrEqual(final @NonNull Bid bid1,
                        final @NonNull Bid bid2);
}