Class MRVMWorldSetup.MRVMWorldSetupBuilder
- java.lang.Object
-
- org.spectrumauctions.sats.core.model.mrvm.MRVMWorldSetup.MRVMWorldSetupBuilder
-
- Enclosing class:
- MRVMWorldSetup
public static class MRVMWorldSetup.MRVMWorldSetupBuilder extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.StringHIGH_PAIRED_NAMEstatic java.lang.StringLOW_PAIRED_NAMEorg.jgrapht.Graph<MRVMWorldSetup.RegionSetup,org.jgrapht.graph.DefaultEdge>predefinedGraphstatic java.lang.StringUNPAIRED_NAMEbooleanusePredefinedGraph
-
Constructor Summary
Constructors Constructor Description MRVMWorldSetupBuilder()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.Map<java.lang.String,MRVMWorldSetup.BandSetup>bandSetups()MRVMWorldSetupbuild()voidchangeNumberOfLots(java.lang.String bandName, IntegerInterval numberOfLots)voidcreateGraphRandomly(IntegerInterval numberOfRegions, IntegerInterval averageOfAdjacenciesPerRegion, double populationPerRegionMean, double populationPerRegionStandardDeviation)voidcreatePredefinedGraph(org.jgrapht.Graph<MRVMWorldSetup.RegionSetup,org.jgrapht.graph.DefaultEdge> predefinedGraph)voidputBandSetup(MRVMWorldSetup.BandSetup bandStructure)Adds an additional bandStructure.
If a bandStructure with this name already exists, it is replaced.MRVMWorldSetup.BandSetupremoveBandSetup(java.lang.String name)Remove a BandSetup
-
-
-
Field Detail
-
LOW_PAIRED_NAME
public static final java.lang.String LOW_PAIRED_NAME
- See Also:
- Constant Field Values
-
HIGH_PAIRED_NAME
public static final java.lang.String HIGH_PAIRED_NAME
- See Also:
- Constant Field Values
-
UNPAIRED_NAME
public static final java.lang.String UNPAIRED_NAME
- See Also:
- Constant Field Values
-
predefinedGraph
public org.jgrapht.Graph<MRVMWorldSetup.RegionSetup,org.jgrapht.graph.DefaultEdge> predefinedGraph
-
usePredefinedGraph
public boolean usePredefinedGraph
-
-
Method Detail
-
createGraphRandomly
public void createGraphRandomly(IntegerInterval numberOfRegions, IntegerInterval averageOfAdjacenciesPerRegion, double populationPerRegionMean, double populationPerRegionStandardDeviation)
-
createPredefinedGraph
public void createPredefinedGraph(org.jgrapht.Graph<MRVMWorldSetup.RegionSetup,org.jgrapht.graph.DefaultEdge> predefinedGraph)
-
changeNumberOfLots
public void changeNumberOfLots(java.lang.String bandName, IntegerInterval numberOfLots)
-
putBandSetup
public void putBandSetup(MRVMWorldSetup.BandSetup bandStructure)
Adds an additional bandStructure.
If a bandStructure with this name already exists, it is replaced.- Parameters:
bandStructure- a band setup
-
removeBandSetup
public MRVMWorldSetup.BandSetup removeBandSetup(java.lang.String name)
Remove a BandSetup- Parameters:
name- the name of the band setup to be removed
-
bandSetups
public java.util.Map<java.lang.String,MRVMWorldSetup.BandSetup> bandSetups()
- Returns:
- an unmodifiable map over all currently stored BandSetups
-
build
public MRVMWorldSetup build()
-
-