Changeset 52 for ip/src/main

Timestamp:

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

Author:

ruud

Message:

Fixed small issues in domaineditor.

Location:

ip

Files:

• . (added)
• src (added)
• src/main (added)
• src/main/java (added)
• src/main/java/geniusweb (added)
• src/main/java/geniusweb/ip (added)
• src/main/java/geniusweb/ip/dpSolver (added)
• src/main/java/geniusweb/ip/dpSolver/DPSolver.java (added)
• src/main/java/geniusweb/ip/general (added)
• src/main/java/geniusweb/ip/general/AvVar.java (added)
• src/main/java/geniusweb/ip/general/Combinations.java (added)
• src/main/java/geniusweb/ip/general/ElementOfMultiset.java (added)
• src/main/java/geniusweb/ip/general/General.java (added)
• src/main/java/geniusweb/ip/general/IntegerPartition.java (added)
• src/main/java/geniusweb/ip/general/RandomPartition.java (added)
• src/main/java/geniusweb/ip/general/RandomPermutation.java (added)
• src/main/java/geniusweb/ip/general/RandomSubsetOfGivenSet.java (added)
• src/main/java/geniusweb/ip/general/SubsetEnumerator.java (added)
• src/main/java/geniusweb/ip/general/SubsetsOfMultiset.java (added)
• src/main/java/geniusweb/ip/inputOutput (added)
• src/main/java/geniusweb/ip/inputOutput/Input.java (added)
• src/main/java/geniusweb/ip/inputOutput/Output.java (added)
• src/main/java/geniusweb/ip/inputOutput/SolverNames.java (added)
• src/main/java/geniusweb/ip/inputOutput/ValueDistribution.java (added)
• src/main/java/geniusweb/ip/ipSolver (added)
• src/main/java/geniusweb/ip/ipSolver/Edge.java (added)
• src/main/java/geniusweb/ip/ipSolver/IDPSolver_whenRunning_ODPIP.java (added)
• src/main/java/geniusweb/ip/ipSolver/IPSolver.java (added)
• src/main/java/geniusweb/ip/ipSolver/IntegerPartitionGraph.java (added)
• src/main/java/geniusweb/ip/ipSolver/MethodsForScanningTheInput.java (added)
• src/main/java/geniusweb/ip/ipSolver/Node.java (added)
• src/main/java/geniusweb/ip/ipSolver/Subspace.java (added)
• src/main/java/geniusweb/ip/mainSolver (added)
• src/main/java/geniusweb/ip/mainSolver/Result.java (added)