Changeset 9 for exampleparties/randompartypy/src/main/resources/RandomParty.py

Timestamp:

11/28/19 14:40:48 (5 years ago)

Author:

bart

Message:

Release 1.1.0

File:

• exampleparties/randompartypy/src/main/resources/RandomParty.py (modified) (2 diffs)

exampleparties/randompartypy/src/main/resources/RandomParty.py

@@ -24 +24 @@
 import geniusweb.profile.Profile as Profile
 import geniusweb.profile.PartialOrdering as PartialOrdering
-import geniusweb.profile.utilityspace.LinearAdditiveUtilitySpace as LinearAdditiveUtilitySpace
+import geniusweb.profile.utilityspace.UtilitySpace as UtilitySpace
 import geniusweb.references.ProfileRef as ProfileRef
 import geniusweb.references.ProtocolRef as ProtocolRef
@@ -97 +97 @@
                         return false
                 profile = self.profile.getProfile()
-                if isinstance(profile, LinearAdditiveUtilitySpace):
+                if isinstance(profile, UtilitySpace):
                         return profile.getUtility(bid).doubleValue() > 0.6;
                 if isinstance(profile, PartialOrdering):