Changeset 52 for profile/src/main

Timestamp:

03/21/23 14:59:49 (21 months ago)

Author:

ruud

Message:

Fixed small issues in domaineditor.

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)