Changeset 50 for profile/src/main/java

Timestamp:

06/16/22 18:53:02 (2 years ago)

Author:

bart

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)