Changeset 49 for profile/src/main/java

Timestamp:

Jun 15, 2022, 3:41:19 PM (3 years ago)

Author:

bart

Message:

Domaineditor released.

Location:

profile

Files:

• . (added)
• src (added)
• src/main (added)
• src/main/java (added)
• src/main/java/geniusweb (added)
• src/main/java/geniusweb/profile (added)
• src/main/java/geniusweb/profile/DefaultPartialOrdering.java (added)
• src/main/java/geniusweb/profile/DefaultProfile.java (added)
• src/main/java/geniusweb/profile/FullOrdering.java (added)
• src/main/java/geniusweb/profile/PartialOrdering.java (added)
• src/main/java/geniusweb/profile/Profile.java (added)
• src/main/java/geniusweb/profile/utilityspace (added)
• src/main/java/geniusweb/profile/utilityspace/DiscreteValueSetUtilities.java (added)
• src/main/java/geniusweb/profile/utilityspace/LinearAdditive.java (added)
• src/main/java/geniusweb/profile/utilityspace/LinearAdditiveUtilitySpace.java (added)
• src/main/java/geniusweb/profile/utilityspace/NumberValueSetUtilities.java (added)
• src/main/java/geniusweb/profile/utilityspace/PartsUtilities.java (added)
• src/main/java/geniusweb/profile/utilityspace/ProductOfValue.java (added)
• src/main/java/geniusweb/profile/utilityspace/SumOfGroupsUtilitySpace.java (added)
• src/main/java/geniusweb/profile/utilityspace/UtilitySpace.java (added)
• src/main/java/geniusweb/profile/utilityspace/ValueSetUtilities.java (added)